MCU 2026: Machines, Computations and Universality 2026 Trier University Trier, Germany, July 27-29, 2026 |
| Conference website | https://www.mcu-2026.uni-trier.de/ |
| Submission link | https://easychair.org/conferences/?conf=mcu2026 |
This conference series focuses on invstigating 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.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome. 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.
List of Topics
- 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
Committees
Program Committee
- Artiom Alhazov (Chisinau, Moldova)
- Péter Battyányi (Debrecen, Hungary)
- Song Bosheng (Hunan, China)
- Olivier Bournez (Paris, France)
- Erzsébet Csuhaj-Varjú (Budapest, Hungary)
- Jérôme Durand-Lose (Orléans, France)
- Henning Fernau (Trier, Germany)
- Rudi Freund (Vienna, Austria)
- Daniela Genova (North Florida, USA)
- Dora Giammarresi (Rome, Italy)
- Mika Hirvensalo (Turku, Finland)
- Jarkko Kari (Turku, Finland)
- Lila Kari (Waterloo, Canada)
- Tomas Masopust (Olomouc, Czech Republic)
- Benedek Nagy (Famagusta, Cyprus)
- Matthew Patitz (Rio Grande Valley, USA)
- Simon Perdrix (Vandœuvre lès Nancy, France)
- Agustín Riscos-Núnez (Sevilla, Spain)
- Shinnosuke Seki (Tokyo, Japan)
- KG Subramanian (Chennai, India)
- György Vaszil (Debrecen, Hungary)
- Serghei Verlan (Paris, France)
- Tomoyuki Yamakami (Fukui, Japan)
Organizing Committee
- Henning Fernau (Trier, Germany)
- Esther Stürmer (Trier, Germany)
Invited Speakers
- Martin Kutrib (Gießen, Germany)
- Olivier Bournez (Paris, France): he will give a tutorial at CiE.
Publication
MCU 2026 proceedings will be published in the LNCS series by Springer.
Venue
The conference will be held in Trier, co-located with CiE and other events.
Contact
All questions about submissions should be emailed to fernau@uni-trier.de
