============================================================
MCU 2024 - LAST CALL FOR PAPERS
10th Conference on Machines, Computations and Universality
MCU 2024, June 5 - June 7, 2024, Nice, France
============================================================
NEWS: Co-located workshop - CMC 2024, June 3-5
============================================================
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 10th edition will take place at the Université Côte d'Azur in Nice, France on an hybrid form (both in person and online). The conference is co-located with CMC 2024 (Conference on Membrane Computing) which will took from June 3rd to June 5th, 2024.
IMPORTANT DATES
* Submission deadline: April 5th, 2024,
* Notification of acceptance: May 7th, 2024,
* Camera ready due: May 13th, 2024.
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 2024 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
Genova Daniela, University of North Florida, USA
Margenstern Maurice, University of Lorraine, France
Porreca Antonio Enrico, Aix-Marseille University, France
Puzynina Svetlana, St. Petersburg State University, Russia
Schabanel Nicolas, Ecole Normale Supérieure de Lyon, France
PROGRAM COMMITTEE
Battyányi Petér, Univ. of Debrecen, Hungary
Besozzi Daniela, University of Milano-Bicocca, Italy
Bournez Olivier, Ecole Polytechnique, France
Csuhaj-Varjú Erzsébet, ELTE Eötvös Loránd University, Hungary
Durand-Lose Jérôme, University of Orléans, France - Chair
Fernau Henning, University of Trier, Germany
Flocchini Paola, University of Ottawa, Canada
Formenti Enrico, Université Côte d'Azur, France - Chair
Freund Rudolf, University of Wien Austria
Hirvensalo Mika, University of Turku, Finland
Kari Jarkko, University of Turku, Finland
Martin Bruno, Université Côte d'Azur, France
Nagy Benedek, Eastern Mediterranean Univ., Turkey
Ochotin Aleksander, St. Petersburg State Univ., Russia
Patitz Matthew, Univ. of Arkansas, USA
Perdrix Simon, Univ. de Lorraine & CNRS, France
Prodanoff Zornitza, University of North Florida, USA
Rauch Christian, University of Giessen, Germany
Riscos-Núñez Augustín, University of Sevilla, Spain
Vaszil György, University of Debrecen, Hungary
Verlan Sergey, University of Paris Est Créteil, France
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=mcu2024
The proceedings will be available after the conference as post-proceedings in the LNCS series by Springer Verlag.
As for the previous editions, there will be a best paper and best student (authors are students with possibly one PhD advisor) paper awards.
A selection of papers will be invited to submit extended versions for
publication in a special issue of an international journal.
CONTACT
Jérôme Durand-Lose - jerome.durand-lose@univ-orleans.fr <mailto:jerome.durand-lose@univ-orleans.fr>
Enrico Formenti - enrico.formenti@univ-cotedazur.fr <mailto:enrico.formenti@univ-cotedazur.fr>
WEBSITE
https://webusers.i3s.unice.fr/MCU2024
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
