21-25 Sep 2010
Pittsburgh PA, U.S.A.
----------------------------------------------------------------------
International Conference
MACHINES ET CALCULS UNIVERSELS
UNIVERSAL MACHINES AND COMPUTATIONS
----------------------------------------------------------------------
M M CCC U U I 22222 00000 1 00000
MM MM C C U U I 2 2 0 0 11 0 0
M M M M C U U 2 2 0 0 1 1 0 0
M M M C U U 22 0 0 1 0 0
M M C U U 2 0 0 1 0 0
M M C C U U 22 0 0 1 0 0
M M CCC UUU 2222222 00000 1111 00000
----------------------------------------------------------------------
PITTSBURGH, PA, USA
Carnegie Mellon University
Department of Computer Science
---------
SEPTEMBER 21-25
-----------------------------------------------------------------------
Organizing institutions :
Carnegie Mellon University, Department of Computer Science
Université d'Orléans, LIFO
Université Pau Verlaine - Metz, LITA
-----------------------------------------------------------------------
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
TOPICS :
Digital Computations:
Turing machines, register machines, cellular automata,
other automata, tiling of the plane, polyominoes, snakes,
neural networks, molecular computations, word processing
(goups and monoids), other machines
Analog and Hybrid Computations:
BSS machines, infinte cellular automata, real machines,
quantum computing
In both cases:
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 automatas, tilings, neural nets,
Post systems, ...
computation complexity of machines with a decidable halting
problem as well as universal machines
self-reproduction and other tasks
universality and decidability in the real field
PROGRAM COMMITTEE :
Erzsébet CSUHAJ-VARJÚ, Hungarian Academy of Sciences, H
ungary
Jérôme DURAND-LOSE, University of Orléans, France,
co-chair
Vladik KREINOVICH, the University of Texas at El Paso
Maurice MARGENSTERN, LITA, University of Metz, France, co-chair
Cris MOORE, Santa Fe, USA
Gheorghe PAUN, Romanian Academy, Bucharest, Romania
Igor POTAPOV, University of Liverpool, UK
Yurii ROGOZHIN, Institute of Mathematics, Chisinau, Moldov
Klaus SUTNER, Carnegie Mellon University, Pittsburgh, USA, co-cha
ir
Jirí WIEDERMANN, Academy of Science, Czech Republic
Damien WOODS, University College, Cork, Ireland
ORGANIZING COMMITTEE :
Klaus SUTNER, Carnegie Mellon University, Pittsburgh, USA, co-cha
ir
Jérôme DURAND-LOSE, Université d'Orléans, Orl
éans, France,
co-chair
Maurice MARGENSTERN, Université Paul Verlaine - Metz, Metz,
France,
co-chair
INVITED SPEAKERS :
Andrew ADAMATZKY, University of Bristol, UK
Olivier BOURNEZ, LORIA, INRIA-Lorraine, France
Mark BURGIN, University of Califonia at Los Angeles, USA
Jarkko KARI, University of Turku, Finland
Pascal KOIRAN, École Normale Supérieure de Lyon, France
Kenichi MORITA, University of Hiroshima, Japan
Kumbakonam Govindarajan SUBRAMANIAN, Christian College of Chennai
,
India
Wilfried SIEG
Stephen WOLFRAM, Wolfram Research
MCU'95, MCU'98 and MCU'2001 gave rise to TCS special issues on "Machine
s,
Computations and Universality": 168-2 (1996), 231-2 (2000) and 296-2 (2002)
.
MCU'2004 and MCU'2007 gave rise to Fundamenta Informaticae
special issues: 74(4) (2005), 91(1) and 91(2) (2008). The interest of compu
ter
scientists for the topics of the conference increased in the last years. Ne
w
domains appeared, continuing them in a natural way. This explains
why a regular scientifing meeting on this topics must hold, each three year
s.
And so, three years after MCU'2007 the turn of MCU'2010 comes.
CONFERENCE PROCEEDINGS
The proceedings of MCU'2010 will published by Electronic Proceedings
in Theoretical Computer Science, which already published the proceedings
of CSP 2008 and DCFS 2009, and they will publish those of DCM 2009 (under
ICALP 2009) and MeCBIC 2009 for instance. The proceedings will be available
at
the conference as a CD.
Please, keep in mind the following dates :
Dead line for submission : March, 15, 2010
Notification of acceptance or rejection : June, 1, 2010
Dead line for receiving corrected version of accepted papers :
July, 1, 2010
IJFCS SPECIAL ISSUE
A special issue of the International Journal of Foundations of
Computer Science devoted to "Universal Machines and Computations'VI" will b
e
published on the topics of the conference. A call for paper will be launche
d
just after MCU'2010 on the topics of the conference. The submitted
papers will be refereed and accepted papers after this process will be
published in the special issue. It will be possible to submit an extended
version of a paper published in the EPTCS proceedings of MCU'2010, provided
that the extension is actually needed or, preferably, that it contains new
substantial results. The selection process for the special issue will be
strict on these criteria.
REGISTRATION FEES :
In order to attend the conference, send your registration form by surface
mail at the below indicated address, by FAX, by e-mail or using the web
site of the conference when the date of registration will be announced.
Registration fees amount to 400 USD if paid before July 1st 2010 and to 450
USD after that date. Further details for the payment of the registration fe
es
will be available later on the web site of the conference.
LANGUAGE OF THE CONFERENCE
English.
RECEPTION
Reception of participants will hold on Monday, September, 20 and on
Tuesday, September, 21, at times which will be later indicated.
MAIL:
e-mails :
margens@univ-metz.fr
jerome.durand-lose@univ-orleans.fr
sutner@cs.cmu.edu
by surface mail :
Maurice MARGENSTERN
Université Paul Verlaine - Metz,
LITA, EA 3097, UFR MIM,
Campus du Saulcy,
F - 57045 METZ CEDEX
FRANCE
Jérôme Durand-Lose
Université d'Orléans,
LIFO, Batiment IIIA,
Rue Léonard de Vinci
B.P. 6759
F - 45067 ORLEANS Cedex 2
FAX: +33387315309
WEB SITE:
To be announced later