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

Call for Papers

The International conference MCU series traces its roots back to the mid 90’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 MCU conference series was initiated in Paris in 1995. Following editions were held in Metz in 1998, in Chisinau in 2001, in St. Petersburg in 2004, in Orleans in 2007, and in Zurich in 2013.

Scope

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
  • The search for the simplest universal models
  • The computational complexity of predicting the evolution of computations in the various models
  • The connection between parallelism and decidability, complexity and universality
  • Universality and undecidability in continuous models of computation

Call for Papers Poster

MCU'2015 Call for Papers Poster
Download

Topics Addressed

MCU’2015 conference topics include, but not exclusively:

  • Analog computation
  • Cellular automata
  • Computability theoretic aspects of programs
  • Computable structures and models
  • Decidability of theories
  • Dynamical systems and computational models
  • Finite model theory
  • Higher type computability
  • Membrane computation
  • Morphogenesis and developmental biology
  • Natural computation and Hybrid systems
  • Physics and computability
  • Randomness and Kolmogorov complexity
  • Swarm intelligence and self-organisation
  • Turing, Counter, Register, Signal machines
  • Automata theory
  • Classical computability and degree structures
  • Computable analysis and real computation
  • Continuous computing
  • DNA computing, self-assembly and tiling
  • Emerging and non-standard models of computation
  • Generalized recursion theory
  • Infinite time Turing machines
  • Molecular computation
  • Multi-agent systems
  • Neural nets and connectionist models
  • Proof theory and computability
  • Relativistic computation
  • Theory of Petri nets
  • Universality of systems

Final call for papers sent out, and due to several requests, the submission deadline is extended until 26th of March.

Important Dates

Deadline for paper submission: 26 March 2015
Notification of paper acceptance: 27 May 2015
Final version of the paper: 20 June 2015

Submissions

Authors of accepted papers are expected to present their work at the conference. Submitted papers must describe work not previously published, and they must neither be accepted nor under review at a journal or at another conference with refereed proceedings. Authors are required to submit their manuscripts electronically in PDF using the LNCS style since the MCU’15 proceedings will be published as Springer Verlag LNCS volume . Authors using LaTeX can download the needed macros at Springer Verlag site. Papers should not exceed 15 pages; full proofs may appear in a clearly marked technical appendix which will be read at the reviewers’ discretion. The submission process is managed by EasyChair https://easychair.org/conferences/?conf=mcu2015 . The proceedings will be available at the conference venue. There will be a best paper and a best student paper award.

Contact: Benedek Nagy – mcu2015 (at) emu.edu.tr
Jérôme Durand-Lose – jerome.durand-lose (at) univ-orleans.fr