Collection
Selected Extended Papers from Machine Computation and Universality 2024
This issue will be composed of extended selected communications presented at Machine Computation and Universality 2024. Submission is by invitation only.
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...), 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.
Editors
-
Jérôme DURAND-LOSE
Jérôme DURAND-LOSE is a full professor of computer science with the Université d’Orléans since 2024. He has co-edited 5 LNCS and 8 special issues of international journals. His main field of research is computability theory, in particular unconventional means of computation. jerome.durand-lose@univ-orleans.fr
-
Enrico FORMENTI
Enrico FORMENTI is a full professor of computer science with the Université de Nice-Sophia Antipolis since 2023. He has authored over a hundred scientific publications. enrico.formenti@unice.fr
