MCU 2024: Call for Papers

The 10th conference on Machines, Computations and Universality (MCU) will take place from June 5-7, 2024 in Nice, France.

The conference proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series and are available through this link.

Aims and Scope

The scope of the conference topics includes, but is not limited to, computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models...), analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing...) and the meaning and implantation of universality in these contexts. Particular emphasis is given towards search for frontiers between decidability and undecidability in the various models, search for the simplest universal models, computational complexity of predicting the evolution of computations in the various models. Parallel computing models and their connections to decidability, complexity and universality.

Topics of Interest

Topics of interest include, but are not limited to:

• Analog computation
• Automata theory
• Cellular automata
• Classical computability and degree structures
• Computability theoretic aspects of programs
• Computable analysis and real computation
• Computable structures and models
• Continuous computing
• Decidability of theories
• DNA computing, self-assembly and tiling
• Dynamical systems and computational models
• Emerging and non-standard models of computation
• Finite model theory
• Generalized recursion theory
• Higher type computability
• Hyper-computational models
• Infinite time Turing machines
• Membrane computing
• Molecular computation
• Morphogenesis and developmental biology
• Multi-agent systems
• Natural computation and Hybrid systems
• Neural nets and connectionist models
• Physics and computability
• Proof theory and computability
• Randomness and Kolmogorov complexity
• Relativistic computation
• Swarm intelligence and self-organisation
• Theory of Petri nets
• Turing, Counter, Register, Signal machines
• Universality of systems

Submission Guidelines

Submitted papers must describe work not previously published, and they must neither be accepted nor under review at a journal or at another conference with refereed proceedings. Authors are required to submit their manuscripts electronically in PDF using the LNCS style.

Authors using LaTeX can download the needed macros at Springer-Verlag site. Papers should not exceed 15 pages; full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion.

The submission process is managed by EasyChair. The submission URL: https://easychair.org/conferences/?conf=mcu2024.

The final versions of accepted papers must be formatted in LaTeX using Springer-Verlag's Lecture Notes style. Please also consult the Instructions for Authors provided by Springer. The final version should be uploaded on the Easychair website in zipped format containing the following:

• The final source files, including bib files, images, non-standard LaTeX packages, etc.
• A final PDF file corresponding exactly to the final source files.
• A license-to-publish agreement, signed by hand by the corresponding author on behalf of all of the authors of the paper.

Important Dates

• Conference: June 5-7, 2024
• Submission deadline: April 17, 2024
• Notification deadline: May 14, 2024
• Camera ready deadline: May 20, 2024

Best Paper Award

A best paper and a best student paper will be selected by the program committee and announced during the conference. To be eligible for best student paper, except for at most one PhD adviser co-author, all co-authors and the person presenting the paper should at most have presented their PhD after September 1, 2021.

Special Issue

A special issue of the international journal Acta Informatica will be organized after the conference containing a selection of articles issued from the conference. Articles will contain substantially extended version of the papers submitted to the conference and will undergo a further independent peer review process.

Anti-Harassment Policy

We believe that the advancement of research is best accomplished in an environment that is open, diverse and respectful to all participants. During the conference, we will follow the anti-harassment policy of ACM. Anyone witnessing or subject to unacceptable behaviour should notify the conference chairs.