Conference Information
MCU 2018: Conference on Machines, Computations and Universality
Submission Date:
2018-02-19 Extended
Notification Date:
Conference Date:
Fontainebleau, France
Viewed: 4816   Tracked: 0   Attend: 0

Call For Papers
Aim and Scope

The MCU traces its roots back to mid of 90s, and has since been concerned with gaining a deeper understanding of computation through the study of models of general purpose computation. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing etc.).

The 8th MCU will be hosted by the University of Paris Est Creteil Val de Marne and it will take place at IUT de Fontainebleau, located in the city of Fontainebleau, former residence of French kings situated near Paris.

The conference will be collocated with the  conference UCNC 2018.

Topics of Interest

There is particular (but not exclusive) emphasis given towards the following:

    The search for frontiers between decidability and undecidability in the various models. (For example, what is the smallest number of pairs of words for which the Post correspondence problem is undecidable, or what is the largest state-symbol product for which the halting problem is decidable for Turing machines?)
    The search for the simplest universal models (such as small universal Turing machines, universal rewriting systems with few rules, universal cellular automata with small neighborhoods and a small number of states, etc.)
    The computational complexity of predicting the evolution of computations in the various models. (For example, is it possible to predict an arbitrary number of time steps for a model more efficiently than explicit step by step simulation of the model?)
    How parallelism can be connected to decidability, complexity and universality.
    Universality and undecidability in continuous models of computation.
Last updated by Dou Sun in 2018-02-05
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICCSBInternational Conference on Computer Science and Blockchain2022-10-21 2022-10-28
ICT&KEInternational Conference on ICT and Knowledge Engineering2012-08-152012-09-152012-11-21
b1TLCAInternational Conference on Typed Lambda Calculi and Applications2015-01-302015-04-022015-06-29
2MAEInternational Conference on Mechanical, Material and Aerospace Engineering2018-03-152018-04-052018-05-10
aaa1CSCWACM Conference on Computer Supported Cooperative Work2023-01-15 2023-10-13
ICRAICInternational Conference on Robotics Automation and Intelligent Control2022-10-202022-11-202022-12-09
EuroPLoPEuropean Conference on Pattern Languages of Programs2019-02-202019-05-152019-07-03
ca1PSBPacific Symposium on Biocomputing2016-08-012016-09-122017-01-03