Logic List Mailing Archive

MCU 2010: Machines et Calculs Universels

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