31 Aug-2 Sep 2022
Debrecen, Hungary
============================================================ MCU 2022 - CALL FOR PAPERS 9th Conference on Machines, Computations and Universality MCU 2022, August 31 - September 2, 2022, Debrecen, Hungary https://konferencia.unideb.hu/en/mcu-2022 SUBMISSIONS https://easychair.org/conferences/?conf=mcu2022 ============================================================ 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. IMPORTANT DATES * Extended submission deadline: May 8, 2022, * Notification of acceptance: May 23, 2022, * Final version for proceedings: June 5, 2022. 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...) 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. TOPICS ADDRESSED 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 INVITED SPEAKERS * 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 AUTHOR GUIDELINES 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. https://easychair.org/conferences/?conf=mcu2022 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, 2021. 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. PROGRAM COMMITTEE * 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 ORGANIZING COMMITTEE * 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 CONTACT Jérôme Durand-Lose - jerome.durand-lose (at) univ-orleans.fr György Vaszil – vaszil.gyorgy (at) inf.unideb.hu https://konferencia.unideb.hu/en/mcu-2022 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html 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