Logic List Mailing Archive

MCU 2022: Machines, Computations, & Universality

31 Aug-2 Sep 2022
Debrecen, Hungary

9th Conference on Machines, Computations and Universality

MCU 2022, August 31 - September 2, 2022, Debrecen, Hungary



NEWS - EXTENDED submission DEADLINE: May 8, 2022


The International conference MCU series traces its roots back to the mid 90's, 
and has always been concerned with gaining a deeper understanding of 
computation and universality through the study of models of general purpose 
computation. The MCU conference series was initiated in Paris (1995). Following 
editions were held in Metz (1998), Chisinau (2001), St. Petersburg (2004), 
Orleans (2007), Zurich (2013), Famagusta (2015), and Fontainebleau, (2018). The 
2020 edition was supposed to be held in Wien, Austria but was cancelled due to 
the COVID pandemic.

The 9th edition of MCU will take place at the University of Debrecen in 
Hungary, it is co-located with DCFS 2022 (24th International Conference on the 
Descriptional Complexity of Formal Systems, August 29-31) and NCMA 2022 (12th 
International Workshop on Non-Classical Models of Automata and Applications, 
August 26-27).

As long as travel conditions and the situation concerning the current 
humanitarian crisis in the neighboring Ukraine allow, the conference is planned 
to be on-site. On the other hand, the option of a hybrid conference format is 
also considered. If necessary, the possibility of both, in-person and online 
participation will be provided.


* Extended submission deadline: May 8, 2022,
* Notification of acceptance: May 23, 2022,
* Final version for proceedings: June 5, 2022.


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...) and 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.


MCU 2022 conference topics include, but not exclusively:

* 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


* Enrico Formenti, University of Cote d'Azur, France
* Mika Hirvensalo, University of Turku, Finland
* Hava T. Siegelmann, University of Massachusetts Amherst, USA
* Bianca Truthe, University of Giessen, Germany


Authors of accepted papers are expected to present their results at the 
conference. 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 proceedings will be available at the conference venue. It will be an LNCS 
volume by Springer Verlag.

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, 

A selection of papers will be invited to submit extended versions for 
publication in a special issue of the International Journal of Foundations of 
Computer Science.


* Artiom Alhazov, Academy of Sciences of Moldova, Moldova
* Pablo Arrighi, Université Paris-Saclay, France
* Nathalie Aubrun, CNRS & Université Paris-Saclay, France
* Péter Battyányi, University of Debrecen, Hungary
* Paola Bonizzoni, University of Milano Bicocca, Italy
* Erzsébet Csuhaj-Varjú, ELTE Budapest, Hungary
* Jérôme Durand-Lose, University of Orléans, France (co-chair)
* Henning Fernau, University of Trier, Germany
* Rudolf Freund, Technical University of Vienna, Austria
* Kaoru Fujioka, Fukuoka Women's University, Japan
* Christine Gaßner, University of Greifswald, Germany
* Daniela Genova, University of North Florida, USA
* Peter Leupold, University of Bremen, Germany
* Maurice Margenstern, University of Lorraine, France
* Kenichi Morita, Hiroshima University, Japan
* Benedek Nagy, Eastern Mediterranean University, North Cyprus
* Agustín Riscos-Núnez, University of Seville, Spain
* Shinnosuke Seki, University of Electroccommunications, Chofu, Japan
* Hava T. Siegelmann, University of Massachusetts Amherst, USA
* Petr Sosík, Silesian University in Opava, Czech Republic
* Kumbakonam Govindarajan Subramanian, University of Science, Malaysia
* György Vaszil, University of Debrecen, Hungary (co-chair)
* Sergey Verlan, University of Paris Est, France


* Péter Battyányi, University of Debrecen
* Bence Hegedűs, University of Debrecen
* Arnold Pintér, University of Debrecen
* György Vaszil, University of Debrecen


Jérôme Durand-Lose - jerome.durand-lose (at) univ-orleans.fr
György Vaszil – vaszil.gyorgy (at) inf.unideb.hu

[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam