posted by organizer: nbenedek || 2271 views || tracked by 2 users: [display]

MCU 2015 : Machines, Computations and Universality


Conference Series : Machines, Computations, and Universality
When Sep 9, 2015 - Sep 11, 2015
Where Famagusta, North Cyprus
Submission Deadline Mar 15, 2015
Notification Due May 25, 2015
Final Version Due Jun 20, 2015

Call For Papers

7th International conference MCU '15

Machines, Computations and Universality 2015

Famagusta, North-Cyprus, 9-11 September 2015

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.


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


MCU 2015 conference topics include, but not exclusively:

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

We particularly welcome submissions in emergent areas, such as
parallel models of computing, bioinformatics and unconventional


Submission Deadline: 15 March 2015
Notification of authors: 25 May 2015
Deadline for final version: 20 June 2015


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

The proceedings will be available at the conference venue. It will be an
LNCS volume by Springer Verlag.

There will be a best paper and a best student paper award.


* Matthew Cook (University of Zürich and ETH Zürich, Switzerland)
* Jetty Kleijn (Leiden University, The Netherlands)
* Linqiang Pan (Huazhong University of Science and Technology, China)
* Anne Siegel (IRISA/CNRS, Dyliss, France)
* Mike Stannett (University of Sheffield, UK)


* Andrew Adamatzky, University of the West of England, UK
* Rza Bashirov, Eastern Mediterranean University, Famagusta
* Laurent Bienvenu, CNRS, Université Paris Diderot
* Erzsébet Csuhaj-Varjú, Eötvös Loránd University, Hungary
* Jérôme Durand-Lose, University of Orléans, France (co-chair)
* Henning Fernau, University of Trier, Germany
* Rudolf Freund, University of Vienna, Austria
* Gabriel Istrate, West University of Timisoara, Romania
* Jarkko Kari, University of Turku, Finland
* Martin Kutrib, Universität Gießen, Germany
* Peter Leupold, University of Leipzig, Germany
* Maurice Margenstern, University of Lorraine, France
* Kenichi Morita, Hiroshima University, Japan
* Benedek Nagy, Eastern Mediterranean University, Famagusta and
University of Debrecen, Hungary (co-chair)
* Turlough Neary, University of Zürich and ETH Zürich
* Matthew Patitz, University of Arkansas, USA
* Gheorghe Paun, Romanian Academy, Bucharest, Romania
* Igor Potapov, University of Liverpool, UK
* Kumbakonam Govindarajan Subramanian, University of Science, Malaysia
* Klaus Sutner, University Carnegy-Mellon, USA
* György Vaszil, University of Debrecen, Hungary
* Sergey Verlan, University of Paris Est, France

Contact: Benedek Nagy - mcu2015 (at)
Jérôme Durand-Lose - jerome.durand-lose (at)

Related Resources

MCU 2018   8th Conference on Machines, Computations and Universality
FCCM 2018   26th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM 2018)
ManLang 2018   15th International Conference on Managed Languages & Runtimes
DISA 2018   World Symposium on Digital Intelligence for Systems and Machines
ETRIJ CPS 2018   Special Issue on Smart Interactions in Cyber-physical Systems: Humans, Agents, Robots, Machines and Sensors
MoreVMs 2018   2nd Workshop on Modern Language Runtimes, and Ecosystems
[LM2018] 2nd cfp 2018   Living Machines 2018: Second call for Papers, Satellite Events and Sponsors
PEMD 2018   The 9th International Conference on Power Electronics, Machines and Drives
VMIL 2018   9th Workshop on Virtual Machines and Intermediate Languages (VMIL 2017)