THIRD ANNOUNCEMENT THIRD ANNOUNCEMENT THIRD ANNOUNCEMENT THIRD ANN 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 00000 44 MM MM C C U U I 2 2 0 0 0 0 444 M M M M C U U 2 2 0 0 0 0 4 44 M M M C U U 22 0 0 0 0 4 44 M M C U U 2 0 0 0 0 4 44 M M C C U U 22 0 0 0 0 4444444 M M CCC UUU 2222222 00000 00000 44 ---------------------------------------------------------------------- SAINT-PETERSBURG, RUSSIA --------- SEPTEMBER, 21-26, 2004 ----------------------------------------------------------------------- Organizing institutions : Saint-Petersburg State University, LITA, University of Metz, France First sponsors Laboratoire d'Informatique The'orique et Applique'e, (LITA), the University of Metz, 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 : Anatoly BELTIUKOV, Udmurt University, Izhevsk, Russia, co-chair Erzsebet CSUHAJ-VARJU, Hungarian Academy of Sciences, Hungary Nikolai KOSSOVSKII, Saint-Petersburg State University, Saint-Petersburg, Russia, co-chair Maurice MARGENSTERN, LITA, University of Metz, France, co-chair Kenichi MORITA, University of Hiroshima, Japan Gheorghe PAUN, Romanian Academy, Bucharest, Romania Yurii ROGOZHIN, Institute of Mathematics, Chisinau, Moldova Arto SALOMAA, Turku University, Turku, Finland ORGANISING COMMITTEE : Anatoly BELTIUKOV, Udmurt University, Izhevsk, Russia, co-chair Nikolai KOSSOVSKII, Saint-Petersburg State University, Saint-Petersburg, Russia, co-chair Maurice MARGENSTERN, LITA, University of Metz, France, co-chair Michail A. GERASIMOV, Saint-Petersburg State University, Saint-Petersburg, Russia Igor P. SOLOVIOV, Saint-Petersburg State University, Saint-Petersburg, Russia Sorin STRATULAT, LITA, EA 3097, University of Metz, France, INVITED SPEAKERS : Cristian CALUDE, University of Auckland, New-Zeland Alain COLMERAUER, University of Marseille I, France Jozef GRUSKA, Mazarik University, Brno, Check Republic Juhani KARHUMÄKI, Turku, Finland Yuri MATIYASEVICH, Petersburg Department of the Institute of Mathematics, Saint-Petersburg, Russia Klaus SUTNER, Pittsburgh, USA Klaus WAGNER, University of Wuertzburg, Germany 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). 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'2001, the turn of MCU'2004 comes. CONFERENCE PROCEEDINGS Besides invited lectures, about thirty 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'2004. 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). IMPORTANT NOTE: Contributions must be submitted by e-mail only to one of the three e-mails which are indicate at the end of the call or to a member of the program committee. In order to avoid technical problems, it is recommended to send the submissions at least one week before the dead-line. Submissions must be 12 pages long following LNCS format. Submissions must be processed via L$aTeX 2e and we accept only non-encoded PostSript or .pdf files. DEAD LINES: NEW DATES! Dead line for submission : april, 10, 2004 Notification of acceptance or rejection : july, 10, 2004 Dead line for receiving corrected version of accepted papers : september, 1st, 2004 THESE NEW DATES ARE STRICT DEAD-LINES FI SPECIAL ISSUE A special issue of FUNDAMENTA INFORMATICAE devoted to "Universal Machines and Computations'IV" will be published on the topics of the conference. A new call for paper for this issue will be launched just after MCU'2004. Invited papers and contributions presented to MCU'2004 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 an extended version of the LNCS published paper, or it contains new results. REGISTRATION FEES : In order to attend the conference, get registered at the site of the conference. The precise registration fee information will be available on the web site of the conference starting from May, 1st, 2004. Registration fees amount to 250 EURO's if paid before August, 1st 2004 at the account of the University of Metz which will be indicated by the web site of the conference. After that date, the fees will amount to 300 EURO's and they will be paid on the conference site. LANGUAGE OF THE CONFERENCE English. PRELIMINARY REGISTRATION FORM Family name : ................................................. First name : ................................................. Affiliation : ................................................. Address : ................................................. Country : ................................................. e-mail : ................................................. FAX : ................................................. Phone : ................................................. Arrival : ................................................. Departure : ................................................. ACCOMMODATION INFORMATION The information will be available through the web site of the conference starting from June, 1st, 2004. SITE OF THE CONFERENCE The main site of the conference is: http://lita.sciences.univ-metz.fr/~mcu2004 Purely informative mirror sites will be later available at Saint-Petersburg and at Izhevsk. e-MAILS: margens@sciences.univ-metz.fr belt@uni.udm.ru kosov@nkk.usr.pu.ru ---------------------- PLEASE, DISTRIBUTE WIDELY! ---------------------