Meetings/Workshops on Mathematical Logic and Foundations in Hungary

Select a location
MCU 2022 — 9th Conference on Machines, Computations and Universality
31 Aug 2022 - 02 Sep 2022 • Debrecen, Hungary
University of Debrecen
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 through the study of models of general purpose computation. The 9th edition of MCU is organized by the Faculty of Informatics of the University of Debrecen, it is co-located with NCMA 2022, the 12th International Workshop on Non-Classical Models of Automata and Applications (August 26-27, 2022) and DCFS 2022, the 24th Conference on Descriptional Complexity of Formal Systems (August 29-31, 2022). The conference will take place in a hybrid format: the possibility of both, in-person and online participation will be provided.
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.
Event listing ID:
1489126 offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 28 May 2022