[clean-list] MCU 2007 - Extended Dead-Line: 18 March

Jérôme DURAND-LOSE jerome.durand-lose at univ-orleans.fr
Wed Mar 7 05:12:41 MET 2007


As many people asked, the dead-line is extended to March 18, but
this new dead-line is sharp.

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, 18, 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 at univ-orleans.fr
    margens at univ-metz.fr



More information about the clean-list mailing list