Tuesday, March 9, 2010

[DMANET] CFP -- MCU '10 -- MACHINES, COMPUTATIONS AND UNIVERSALITY

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 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, Hungary
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-chair
Jiří WIEDERMANN, Academy of Science, Czech Republic
Damien WOODS, Caltech, USA

ORGANIZING COMMITTEE :

Klaus SUTNER, Carnegie Mellon University, Pittsburgh, USA,
co-chair
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
and University of Toronto
Kenichi MORITA, University of Hiroshima, Japan
Kumbakonam Govindarajan SUBRAMANIAN, Christian College of
Chennai, India
Wilfried SIEG, Carnegie Mellon University, Pittsburgh, USA
Stephen WOLFRAM, Wolfram Research


MCU'95, MCU'98 and MCU'2001 gave rise to TCS special issues on
"Machines, 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 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'2007
the turn of MCU'2010 comes.

SUBMISSIONS

Send you submission by e-mail to one of the co-chairs of MCU (see
addresses at the end of the announcement) as a .ps or a .pdf file. NO
OTHER FORMAT will be accepted. Please, use the LaTeX style of Electronic
Proceedings in Theoretical Computer Science in order to produce your
submission. You can find the style file at:
http://style.eptcs.org/

Your submission should not exceed 25 pages in the above indicated format.

Please, keep in mind the following dates which are STRICT dead lines:

Dead line for submission : April, 1, 2010
Notification of acceptance or rejection : June, 15, 2010
Dead line for receiving corrected version of accepted papers :
July, 8, 2010

CONFERENCE PROCEEDINGS

The proceedings of MCU'2010 will published by Electronic Proceedings
in Theoretical Computer Science, which already published the proceedings
of CSP 2008, DCFS 2009, DCM 2009 (under ICALP 2009) and MeCBIC2009 and
they will publish those of DCFS 2010 for instance. The proceedings will
be available at the conference as a CD.

IJFCS SPECIAL ISSUE

A special issue of the International Journal of Foundations of
Computer Science devoted to "Universal Machines and Computations'VI"
will be published on the topics of the conference. A call for paper will
be launchedjust 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 fees 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
Universite Paul Verlaine - Metz,
LITA, EA 3097, UFR MIM,
Campus du Saulcy,
F - 57045 METZ CEDEX
FRANCE

Jerome Durand-Lose
Universite d'Orleans,
LIFO, Batiment IIIA,
Rue Leonard de Vinci
B.P. 6759
F - 45067 ORLEANS Cedex 2

FAX: +33387315309

WEB SITE:

http://www.cs.cmu.edu/~mcu2010

- ---------------------- PLEASE, DISTRIBUTE WIDELY! ---------------------
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************