Machines, Computations and Universality

Overview

MCU 2026 Machines, Computations and Universality. This conference series focuses on investigating language describing formalisms (automata, grammars, etc.) that are equivalent to Turing machines (or close to being it). The International conference series MCU traces its roots back to the mid 1990's, and has always been concerned with gaining a deeper understanding of computation and universality. The 11th edition of this conference will take place in Trier during 27.7-29.7.2026. Registration will be the same procedure as for the main event, which is CiE, as we expect participants to stay over the whole week. Submissions: Submissions server: Easychair. All papers must be original and not simultaneously submitted to another journal or conference. We expect non-anonymous submissions up to 15 pages in LNCS format, including “everything” apart from a possible appendix (read at the discretion of the PC); alternatively, include a link to an ArXiv version. Program Chairs: Henning Fernau, Trier University, Germany; Serghei Verlan, University Paris Est Créteil, LACL, France. What is special about this edition? It is co-located with CiE and other conferences and workshops. Invited Speakers: Martin Kutrib (Gießen, Germany), Olivier Bournez (Paris, France). 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 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 models, Natural computation and hybrid systems, Neural nets and connectionist models, Physics and computability, Proof theory and computability, Quantum computing and information, Randomness and Kolmogorov complexity, Relativistic computation, Swarm intelligence and self-organisation, Theory of Petri nets, Turing, Counter, Register, Signal machines, Universality of systems.

Source Rank

Map