The conference Machines, Computations and Universality 2015 (MCU'15) takes place in Famagusta, North Cyprus in September, 2015. We are welcome to receive abstracts of informal presentations (results announcement, work in progress,…) on any of the topics of the conference MCU'15:
- 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
Submitted abstracts will be acknowledged and accepted by one of the PC members shortly after the submission. At least one author of each accepted abstract must register and give the talk in the conference. Abstract will appear on a special page on the website and on local abstract booklet (and not in the LNCS proceedings).
The submission can be done by email to the address mcu2015@emu.edu.tr
A special issue of a journal devoted to MCU'15 is programmed. It will undergo the usual reviewing process. Some informal presentations will be proposed to contribute.
IMPORTANT DATES:
Submission Deadline: continuously till 10 July 2015.
Notification of authors: in a week after the submission.
