posted by user: sverlan || 3691 views || tracked by 3 users: [display]

MCU 2018 : 8th Conference on Machines, Computations and Universality

FacebookTwitterLinkedInGoogle


Conference Series : Machines, Computations, and Universality
 
Link: https://mcu2018.lacl.fr/
 
When Jun 28, 2018 - Jun 30, 2018
Where Fontainebleau, Paris region, France
Submission Deadline Feb 4, 2018
Notification Due Mar 20, 2018
Final Version Due Apr 9, 2018
Categories    computer science   universality   computing
 

Call For Papers

============================================================
MCU 2018 - CALL FOR PAPERS

8th Conference on Machines, Computations and Universality

MCU 2018, June 28-30, 2018,

Fontainebleau, Paris region, France


Submission deadline February 4, 2018,
Notification of acceptance March 20, 2018,
Final version for proceedings April 9, 2018.

Website: https://mcu2018.lacl.fr/

SUBMISSIONS
https://easychair.org/conferences/?conf=mcu2018
============================================================

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 (1995). Following editions were held in Metz (1998), Chisinau (2001), St. Petersburg (2004), Orleans (2007), Zurich (2013) and Famagusta (2015). The 8th edition of MCU will take place at IUT de Fontainebleau, located in the city of Fontainebleau, former residence of French kings situated near Paris.

SCOPE

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.

TOPICS ADDRESSED

MCU 2018 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
* Hyper-computational 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

INVITED SPEAKERS

* Damien Woods (INRIA Paris, France)
* Erzsebet Csuhaj-Varju (Eötvös Loránd University, Hungary)
* Rudolf Freund (Technical University of Vienna, Austria)
* Natasha Jonoska (University of South Florida, USA)
* Michel Raynal (IRISA, University of Rennes, France)

AUTHOR GUIDELINES

Authors of accepted papers are expected to present their results 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.

https://easychair.org/conferences/?conf=mcu2018

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

Traditionally, a selection of the papers will be will be invited to submit extended versions for publication in a special issue of a journal.

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









PROGRAM COMMITTEE

* Artiom Alhazov, Academy of Sciences of Moldova, Moldova
* Nathalie Aubrun, ENS Lyon, France
* Pablo Arrighi, University of Marseille, France
* Laurent Bienvenu, CNRS, Université de Montpellier, France
* Olivier Bournez, École polytechnique, France
* Jérôme Durand-Lose, University of Orléans, France (co-chair)
* François Fages, INRIA, Saclay, France
* Henning Fernau, University of Trier, Germany
* Rudolf Freund, Technical University of Vienna, Austria
* Frédéric Gruau, Université Paris-Sud, France
* Hendrik Jan Hoogeboom, University of Leiden, The Netherlands
* Gabriel Istrate, West University of Timisoara, Romania
* Emmanuel Jeandel, Université de Lorraine, France
* Seth Lloyd, MIT, USA
* Benedek Nagy, Eastern Mediterranean University, North Cyprus
* Turlough Neary, University of Zürich and ETH Zürich, Switzerland
* Matthew Patitz, University of Arkansas, USA
* Simon Perdrix, CNRS, LORIA, France
* Nicolas Schabanel, CNRS, Université Paris Diderot, France
* Klaus Sutner, Carnegie Mellon University, USA
* Sergey Verlan, University of Paris Est, France (co-chair)

ORGANISING COMMITTEE

* Patrick CEGIELSKI, Université Paris Est Créteil (co-chair)
* Julien CERVELLE, Université Paris Est Créteil
* Catalin DIMA, Université Paris Est Créteil
* Luidnel MAIGNAN, Université Paris Est Créteil
* Olivier MICHEL, Université Paris Est Créteil
* Antoine SPICHER, Université Paris Est Créteil
* Pierre VALARCHER, Université Paris Est Créteil
* Pascal VANIER, Université Paris Est Créteil
* Serghei VERLAN, Université Paris Est Créteil (co-chair)

CONTACT
Jérôme Durand-Lose - jerome.durand-lose (at) univ-orleans.fr
Sergey Verlan – verlan (at) u-pec.fr

Related Resources

MCU 2024   Machines, Computations, and Universality
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
DEEPK 2024   International Workshop on Deep Learning and Kernel Machines
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
CL-LLRPHM 2024   Special Issue of the Computational Linguistics journal on Language Learning, Representation, and Processing in Humans and Machines
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
TAA - LMHCU 2024   Towards an Automated Art? Learning Machines, Human Creativity and Uncertainty
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
Living Machines 2024   The 13th International Conference on Biomimetics and Biohybrid Systems
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)