Machines, Computations and Universality (MCU’2015), EMU Cyprus

Menu
7th Conference on Machines, Computations and Universality

9-11 September, 2015 | Eastern Mediterranean University, Famagusta, North Cyprus

MCU Conference

The MCU’15 proceedings will be published as Springer Verlag LNCS volume.

MCU’15 proceedings (LNCS 9288)

springer-logo

Photos from MCU’15 Conference

Organised by

Eastern Mediterranean University

Aims

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.). 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?)

MCU Poster

MCU'2015 poster
Download
  • 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.

Important Dates

Deadline for paper submission: March 26, 2015
Notification of paper acceptance: May 27, 2015
Final version for the proceedings: June 20, 2015
Earlybird registration deadline: June 20, 2015
Deadline for abstract submissions for informal presentations: July 10, 2015
Conference dates: September 9-11, 2015

MCU’15 Programme

Acknowledgements