Machines, Computations and Universality

September 9-11, 2013
University of Zürich, Switzerland

MCU 2013, the 6th conference in the MCU series, will be hosted at the University of Zürich in September 2013.

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: