Logic List Mailing Archive
Machines, Computations and Universality (MCU 2007), Orleans (France), 10-14 Sep 2007
CALL FOR PAPERS CALL FOR PAPERS CALL FOR PAPERS CALL FOR PAPERS
----------------------------------------------------------------------
International Conference
MACHINES, COMPUTATIONS AND UNIVERSALITY
----------------------------------------------------------------------
M M CCC U U 22222 00000 00000 7777777
MM MM C C U U 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-14, 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
Maurice MARGENSTERN, LITA, University of Metz, France, co-chair
Jean-Yves MARION, LORIA, Ecole des Mines de Nancy, France
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:
Andrew ADAMATZKY, University of Bristol, UK
Olivier BOURNEZ, LORIA, INRIA-Lorraine, 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, 4, 2007
Notification of acceptance or rejection: April, 30, 2007
Dead line for receiving corrected version of accepted papers:
May, 15, 2007
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/
e-MAILS:
jerome.durand-lose@univ-orleans.fr
margens@univ-metz.fr