CALL FOR PAPERS CALL FOR PAPERS CALL FOR PAPERS CALL FOR PAPERS ---------------------------------------------------------------------- International Conference MACHINES, COMPUTATIONS AND UNIVERSALITY ---------------------------------------------------------------------- M M CCC U U I 22222 00000 00000 7777777 MM MM C C U U I 2 2 0 0 0 0 7 M M M M C U U 2 2 0 0 0 0 7 M M M C U U 22 0 0 0 0 7 M M C U U 2 0 0 0 0 7 M M C C U U 22 0 0 0 0 77 M M CCC UUU 2222222 00000 00000 77 ---------------------------------------------------------------------- ORLEANS, FRANCE --------- SEPTEMBER, 10-13, 2007 ----------------------------------------------------------------------- Organizing institutions: LIFO, University of Orleans, France LITA, University Paul Verlaine - Metz, France ----------------------------------------------------------------------- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TOPICS: Digital computation (fundamental classical models): Turing machines, register machines, word processing (groups and monoids), other machines. Digital models of computation: cellular automata, other automata, tiling of the plane, polyominoes, snakes, neural networks, molecular computations, Analog and Hybrid Computations: BSS machines, infinite cellular automata, real machines, quantum computing In all these settings: frontiers between a decidable halting problem and an undecidable one in the various computational settings minimal universal codes: size of such a code, namely, for Turing machines, register machines, cellular automata, tilings, neural nets, Post systems, ... computation complexity of machines with a decidable halting problem as well as universal machines, connections between decidability under some complexity class and completeness according to this class, self-reproduction and other tasks, universality and decidability in the real field PROGRAM COMMITTEE: Erzsebet CSUHAJ-VARJU, Hungarian Academy of Sciences, Hungary Jerome DURAND-LOSE, University of Orleans, France, co-chair Angsheng LI, Institute of Software, Chinese Academy of Sciences, Beijing, China Jean-Yves MARION, LORIA, Ecole des Mines de Nancy, France Maurice MARGENSTERN, LITA, University of Metz, France, co-chair Gheorghe PAUN, Romanian Academy, Bucharest, Romania Yurii ROGOZHIN, Institute of Mathematics, Chisinau, Moldova Grzegorz ROZENBERG, University of Leiden, The Netherlands Jiri WIEDERMANN, Academy of Science, Czech Republic Damien WOODS, University College, Cork, Ireland ORGANISING COMMITTEE: Jerome DURAND-LOSE, University of Orleans, France, chair INVITED SPEAKERS: Olivier BOURNEZ, LORIA, University of Nancy 1, France Mark BURGIN, UCLA, Los Angeles, USA Manuel CAMPAGNOLO, Lisbon University of Technology, Portugal Joel David HAMKINS, CUNY, New-York, USA Jarkko KARI, University of Turku, Finland Pascal KOIRAN, Ecole Normale Superieure de Lyon, France Kenichi MORITA, University of Hiroshima, Japan KG SUBRAMANIAN, Christian College of Chennai, India Klaus SUTNER, Carnegie Mellon University, Pittsburgh, USA MCU/UMC'95, MCU'98 and MCU'2001 gave rise to TCS special issues on "Universal Machines and Computations": 168-2 (1996), 231-2 (2000) and 296-2 (2003). MCU'2004 gave rise to FI special issue on "Machines, Computations and Universality": 74 (to appear). The interest of computer scientists for the topics of the conference increased in the last years. New domains appeared, continuing them in a natural way. This explains why a regular scientifing meeting on this topics must hold, each three years. And so, three years after MCU'2004, the turn of MCU'2007 comes. CONFERENCE PROCEEDINGS Besides invited lectures, contributions are planned. The proceedings of the conference will be published in a volume of LECTURE NOTES IN COMPUTER SCIENCE which will be published a few months after the conference. As the LNCS volume will contain the proceedings of the conference, it will contain only talks and contributions which will be presented at MCU'2007. Contributions should be submitted as 12 page papers with an extra page indicating the name of the author(s), his/her/their affiliation, e-mail and addresses as well as the title of the contribution, a list of key-words and a short abstract within 300 words. The submissions are required to follow LNCS style (see LNCS site). Contributions must be submitted through the site of the conference given below. Submissions must be 12 pages long following LNCS format. Submissions must be processed via LaTeX 2e and they must be PostSript or .pdf files. Only non-encoded files will be accepted. Other formats will be rejected. DEAD LINES Dead line for submission: March, 18, 2007 Notification of acceptance or rejection: April, 30, 2007 Dead line for receiving corrected version of accepted papers: May, 15, 2004 FI SPECIAL ISSUE A special issue of FUNDAMENTA INFORMATICAE devoted to "Universal Machines and Computations'V" will be published on the topics of the conference. A new call for paper for this issue will be launched just after MCU'2007. Invited papers and contributions presented to MCU'2007 will be able to enter the selection process to FI special issue provided that they are clearly different from the paper published in LNCS volume: either the FI submission is a substantial extended version of the LNCS published paper, or it contains significantly new results. SITE OF THE CONFERENCE The main site of the conference is: http://www.univ-orleans.fr/lifo/Manifestations/MCU07/ Purely informative mirror site will be later available at the University Paul Verlaine Metz. e-MAILS: jerome.durand-lose@univ-orleans.fr margens@univ-metz.fr