From owner-theorynt@LISTSERV.NODAK.EDU Tue Jun 24 18:34:03 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id SAA29337 for ; Tue, 24 Jun 1997 18:34:03 -0700 (PDT) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id SAA05447; Tue, 24 Jun 1997 18:33:42 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.66F91960@listserv.nodak.edu>; Tue, 24 Jun 1997 20:30:06 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 1478280 for THEORYNT@LISTSERV.NODAK.EDU; Tue, 24 Jun 1997 20:29:57 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.61412BC0@listserv.nodak.edu>; Tue, 24 Jun 1997 20:29:56 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 1478269 for THEORY-A@LISTSERV.NODAK.EDU; Tue, 24 Jun 1997 20:29:55 -0500 Received: from usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.5F8F3600@listserv.nodak.edu>; Tue, 24 Jun 1997 20:29:53 -0500 Received: from pollux2.usc.edu (pollux2.usc.edu [128.125.253.192]) by usc.edu (8.8.4/8.7.2/usc) with ESMTP id SAA10476 for ; Tue, 24 Jun 1997 18:29:51 -0700 (PDT) Received: (from ierardi@localhost) by pollux2.usc.edu (8.8.4/8.8.4/usc) id SAA07327 for theory-a@listserv.nodak.edu; Tue, 24 Jun 1997 18:29:50 -0700 (PDT) X-Mailer: ELM [version 2.4 PL20] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199706200733.JAA15514@capella.ibp.fr> Date: Tue, 24 Jun 1997 18:29:50 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , Maurice Margenstern Sender: TheoryNet List Comments: cc: Maurice Margenstern From: Maurice Margenstern Subject: Call for papers (MCU'98) Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: O X-Mozilla-Status: 0001 Content-Length: 17835 SECONDE ANNONCE SECONDE ANNONCE SECONDE ANNONCE SECONDE ANNONCE SECOND ANNOUNCEMENT SECOND ANNOUNCEMENT SECOND ANNOUNCEMENT APPEL A` COMMUNICATIONS APPEL A` COMMUNICATIONS CALL FOR PAPERS CALL FOR PAPERS CALL FOR PAPERS CALL FOR PAPERS ---------------------------------------------------------------------- Colloque international International Colloquium MACHINES ET CALCULS UNIVERSELS UNIVERSAL MACHINES AND COMPUTATIONS ---------------------------------------------------------------------- M M CCC U U I 99999 88888 MM MM C C U U I 9 9 8 8 M M M M C U U 9 9 8 8 M M M C U U 999999 88888 M M C U U 9 8 8 M M C C U U 9 9 8 8 M M CCC UUU 99999 88888 ---------------------------------------------------------------------- METZ 1998, FRANCE I.U.T. de Metz, Ile du Saulcy ---------- 23-27 MARS MARCH, 23-27 ----------------------------------------------------------------------- Parrainage Sponsorship I.F.I.P. T.C.1 Premiers soutiens First sponsors Institut Universitaire de Technologie de Metz Laboratoire d'Informatique Algorithmique : Fondements et Applications Laboratoire de Recherche en Informatique de Metz ----------------------------------------------------------------------- Langues : Languages : francais, anglais english, french (English text follows second %%%-line) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% DOMAINES D'ETUDE : Calculs discrets : machines de Turing, machines a` registres, automates cellulaires, pavages du plan, polyominos, 'snakes', re'seaux neuronaux, calculs ge'ne'tiques, manipulations sur les mots (groupes et monoi"des), autres machines Calculs analogiques : machines BSS, automates cellulaires infinis, machines re'elles Dans tous les cas : frontie`res entre arre^t de'cidable et inde'cidable dans les divers mode`les de calcul, objets universels minimaux, taille du code : notamment pour machines de Turing, machines a` registres, automates cellulaires, pavages, re'seaux de neurones, syste`mes de Post, ... complexite' de calcul de machines a` arre^t de'cidable et de machines universelles auto-reproduction et autres ta^ches universalite' et de'cidabilite' dans le domaine re'el COMITE' DE PROGRAMME : Volker DIEKERT, Universite' de Stuttgart Zoltan ESIK, Universite' de Szeged Jozef GRUSKA, Universite' de Brno Serge GRIGORIEFF, LIAFA, Universite' Paris 7 Maurice MARGENSTERN, LRIM, LIAFA, IUT de Metz, pre'sident Giancarlo MAURI, Universite' de Milan Kenichi MORITA, Universite' d'Hiroshima Maurice NIVAT, LIAFA, Universite' Paris 7 Jean-Eric PIN, CNRS, LIAFA Lutz PRIESE, Universite' de Coblence Youri ROGOJINE, Institut Mathe'matique, Kishinev Arto SALOMAA, Universite' de Turku COMITE' D'ORGANISATION : Maurice MARGENSTERN, LRIM, LIAFA, IUT de Metz, responsable Adam CICHON, LORIA, CRIN, Nancy Michel GRANDMOUGIN, IUT de Metz Francine HERRMANN, LRIM, Universite' de Metz Azze'dine KACED, LRIM, Universite' de Metz Jean-Yves MARION, LORIA, CRIN, IUT de Nancy 2 Zsuzsanna ROKA, LRIM, IUT de Metz Daniel SINGER, LRIM, Universit'e de Metz Guillaume WATIER, LRIM, LIAFA, IUT de Metz ORATEURS INVITE'S : Sergei ADIAN, Institut Stekov, Moscou Lenore BLUM, International Computer Science Institute (ICSI), Berkeley et City University of Hong Kong Michel COSNARD, ENS Lyon Joaquim GABARRO, Universite' Politechnique de Barcelone Yuri GUREVICH, University of Michigan, Ann Arbor David HAREL, Institut Weizmann, Jerusalem Lila KARI, University of West Ontario, London, Ontario Yuri MATIYASSEVICH, Institut Steklov, Saint-Pe'tersbourg Christian MICHAUX, Universite' de Mons-Hainaut, Mons Gheorghe PAUN, Institut Mathe'matique, Acad. des Sciences, Bucarest Lioudmila PAVLOTSKAI"A, Institut d'Inge'nierie E'nerge'tique, Moscou Ge'raud SE'NIZERGUES, Universite' de Bordeaux 1 Hava SIEGELMANN, Technion, Hai"fa Hiroshi UMEO, Osaka University of Electrocommunications Apre`s MCU/UMC'95 qui a donne' lieu au nume'ro spe'cial de TCS 168-2, "Universal Machines and Computations", le regain d'inte're^t pour les the`mes de cette confe'rence et les nouveaux domaines qui les prolongent de fac,on naturelle rendent ne'cessaire la tenue d'une seconde rencontre scientifique sur ces me^mes the`mes, trois ans apre`s. ACTES DU COLLOQUE En plus des confe'rences invite'es, il est pre'vu une vingtaine de communications qui, dans un premier temps, seront publie'es dans des Actes de MCU/UMC'98 e'dite's par l'IUT de Metz et remis aux participants a`leur arrive'e. Les communications devront e^tre soumises sous la forme d'un article de 12 pages au plus accompagne' d'une page de pre'sentation indiquant le nom de ou des auteurs, leur e'tablissement, leurs coordonne'es e'lectroniques et leur adresse, le titre de leur communication, une liste de mots cle's et un re'sume' de 300 mots au plus. Le re'sume' sera aussi traduit en franc,ais. Les communications seront soumises par courrier e'lectronique sous la forme d'un ficher PostScript NON CODE' (tout codage entrai^nera le rejet de la soumission). Les communications accepte'es devront e'ventuellement e^tre corrige'es en fonction des remarques des relecteurs. En toute e'tat de cause, elles devront e^tre renvoye'es sous un format LATEX qui sera alors communique' aux auteurs. Retenez les dates suivantes : Date limite de soumission : 30 septembre 1997 Notification d'acceptation ou de rejet : 15 janvier 1998 Date limite de re'ception des articles corrige's : 15 fe'vrier 1998 NUME'RO SPE'CIAL DE TCS Un nume'ro spe'cial de Theoretical Computer Science "Universal Machines and Computations'II" parai^tra centre' sur les the`mes du colloque. Une se'lection des meilleurs travaux du colloque, parmi les confe'rences invite'es et les communications accepte'es seront publie's dans ce nume'ro spe'cial. Un article retenu pour le nume'ro spe'cial pourra e^tre une version e'tendue de l'article publie' dans les Actes. Les dates limites de soumission pour ce nume'ro spe'cial seront annonce'es lors du colloque. BOURSES POUR ETUDIANTS : Si la hauteur des subventions accorde'es le permet, un certain nombre de bourses seront offertes a` de jeunes chercheur post-doctoraux ou en the`se afin de suivre les travaux du colloque. DROITS D'INSCRIPTION : Pour participer aux travaux du colloque, s'inscrire en retournant le formulaire ci-apre`s a` l'adresse indique'e, par voie postale, par FAX ou par courrier e'lectronique. Les droits d'inscriptions s'e'le`vent a` 900FF s'ils sont paye's avant le 1er fe'vrier 1998 et a` 1200FF apre`s cette date. Dans ce dernier cas, ils devront parvenir au plus tard le 1er mars 1998. TOUS les participants sont tenus de s'acquitter des droits d'inscription. ACCUEIL L'accueil des participants aura lieu le lundi 23 mars a` partir de 10h. Il sera clos a` 12h30, les travaux du colloque commenc,ant a` 14h pre'cises. FORMULAIRE D'INSCRIPTION : Nom : ................................................. Pre'nom : ................................................. Institution : ................................................. Adresse : ................................................. Pays : ................................................. adr. e'lectr. : ................................................. FAX : ................................................. Telephone : ................................................. Arrive'e : ................................................. De'part : ................................................. HE'BERGEMENT A` partir du 15 janvier 1998, le comite' d'organisation pourra vous fournir, sur votre demande, une liste d'ho^tels se trouvant a` proximite' du lieu du colloque. POUR TOUTE CORRESPONDANCE : voie postale : Maurice MARGENSTERN Colloque International "Machines et calculs universels" I.U.T. de Metz, De'partement d'Informatique, I^le du Saulcy, F - 57045 METZ CEDEX FRANCE courrier e'lectronique : mcu98@iut.univ-metz.fr et, en cas de proble`me : mcu98@antares.iut.univ-metz.fr mcu98@capella.ibp.fr page html (disponible a` compter du 1er avril 1997) : http://mcu98.iut.univ-metz.fr/~mcu98 http://www.iut.univ-metz.fr/~mcu98 te'le'copie : (33 3) 87 31 54 96 ----------------------- SVP, DIFFUSEZ LARGEMENT! ---------------------- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Colloque international International Colloquium UNIVERSAL MACHINES AND COMPUTATIONS MACHINES ET CALCULS UNIVERSELS ---------------------------------------------------------------------- U U M M CCC I 99999 88888 U U MM MM C C I 9 9 8 8 U U M M M M C 9 9 8 8 U U M M M C 999999 88888 U U M M C 9 8 8 U U M M C C 9 9 8 8 UUU M M CCC 99999 88888 ----------------------------------------------------------------------- METZ 1998, FRANCE I.U.T. de Metz, Ile du Saulcy ---------- MARCH, 23-27 ----------------------------------------------------------------------- TOPICS : Digital Computations : Turing machines, register machines, cellular automatas, tiling of the plane, polyominoes, snakes, neural networks, genetic cmputations, word processing (goups and monoids), other machines Analog Computations : BSS machines, infinte cellular automata, real machines 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 : Volker DIEKERT, University of Stuttgart Zoltan ESIK, University of Szeged Jozef GRUSKA, University of Brno Serge GRIGORIEFF, LIAFA, Universite' Paris 7 Maurice MARGENSTERN, LRIM, LIAFA, IUT de Metz, chair Giancarlo MAURI, University of Milano Kenichi MORITA, University of Hiroshima Maurice NIVAT, LIAFA, Universite' Paris 7 Jean-Eric PIN, CNRS, LIAFA Lutz PRIESE, University of Koblenz Youri ROGOJINE, Mathematical Institute , Kishinev Arto SALOMAA, University of Turku ORGANIZING COMMITTEE : Maurice MARGENSTERN, LRIM, LIAFA, IUT of Metz, chair Adam CICHON, LORIA, CRIN, Nancy Michel GRANDMOUGIN, IUT of Metz Francine HERRMANN, LRIM, University of Metz Azze'dine KACED, LRIM, University of Metz Jean-Yves MARION, LORIA, CRIN, IUT of Nancy 2 Zsuzsanna ROKA, LRIM, IUT of Metz Daniel SINGER, LRIM, University of Metz Guillaume WATIER, LRIM, LIAFA, IUT of Metz INVITED SPEAKERS : Sergei ADIAN, Steklov Institute, Moscow Lenore BLUM, International Computer Science Institute (ICSI), Berkeley and City University of Hong Kong Michel COSNARD, ENS Lyon Joaquim GABARRO, Polytechnical University of Barcelona Yuri GUREVICH, University of Michigan, Ann Arbor David HAREL, Weizmann Institute, Jerusalem Lila KARI, University of West Ontario, London, Ontario Yuri MATIYASSEVICH, Steklov Institute, Saint-Petersburg Christian MICHAUX, University of Mons-Hainaut, Mons Gheorghe PAUN, Mathematical Institute, Acad. of Sciences, Bucarest Lioudmila PAVLOTSKAYA, Power Engeneering Institute, Moscow Ge'raud SE'NIZERGUES, Universite' de Bordeaux 1 Hava SIEGELMANN, Technion, Hai"fa Hiroshi UMEO, Osaka University of Electrocommunications MCU/UMC'95 gave rise to TCS special issue 168-2 on "Universal Machines and Computations". The interests 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 second scientifing meeting on this topics must hold, three years later. COLLOQUIUM PROCEEDINGS Besides invited lectures, about twenty contributions are planned. In a first time, lectures and contributions will be published in the Proceedings of MCU/UMC'98 by Metz University Institute of Technology. Participants will receive a volume of the Proceedings at their arrival. 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 abstract will be translated into French. Contributions will be submitted by e-mail as a NON ENCODED PostScript file (any encoding will entail rejection of the submission). Accepted contributions will possibly have to be corrected according to referees remarks. In any case, accepted contributions should be send in LATEX format to be indicated later to authors. Please, keep in mind the following dates : Dead line for submission : september, 30, 1997 Notification of acceptance or rejection : january, 15, 1998 Dead line for receiving corrected version of accepted papers : february, 15, 1998 TCS SPECIAL ISSUE A special issue of Theoretical Computer Science devoted to "Universal Machines and Computations'II" will be published on the topics of the colloquium. A selection of the best works of the colloquium, among invited lectures and accepted contributions will be published in this special issue. A paper accepted for the special issue may possibly happen to be an extended version of a paper accepted for the Proceedings. Deadlines for submission to the special issue will be announced at the colloquium. GRANTS FOR STUDENTS : If our grant applications are successful enough, a certain number of grants will be presented to youg post-doc researches or PhD students in order to attend the colloquium works. REGISTRATION FEES : For attending the colloquium send your registration form by surface mail at the below indicated address, by FAX or by e-mail. Registration fees amounts to 900FF if paid before February 1st 1998 and to 1200FF after that date. In that latter case, they must be paid to the colloquium organization before March 15, 1998. ALL participants have to pay the registration fees. RECEPTION Reception of participants will hold on Monday, March, 23 from 10h, a.m. until 12h30. The colloquium will start on that day at 14h. REGISTRATION FORM Family name : ................................................. First name : ................................................. Affiliation : ................................................. Address : ................................................. Country : ................................................. e-mail : ................................................. FAX : ................................................. Phone : ................................................. Arrival : ................................................. Departure : ................................................. ACCOMMODATION Starting from January, 15, 1998, the organizing committee will send, on request, a list of hotels not too far from the place of the colloquium. MAIL: by surface mail : Maurice MARGENSTERN Colloque International "Machines et calculs universels" I.U.T. de Metz, De'partement d'Informatique, I^le du Saulcy, F - 57045 METZ CEDEX FRANCE e-mails : mcu98@iut.univ-metz.fr and, in case of problems : mcu98@antares.iut.univ-metz.fr mcu98@capella.ibp.fr html site (reachable starting from April, 1, 1997) : http://mcu98.iut.univ-metz.fr/~mcu98 http://www.iut.univ-metz.fr/~mcu98 http://kelp.ke.sys.hiroshima-u.ac.jp/mirror/mcu98/ FAX : (33 3) 87 31 54 96 ---------------------- PLEASE, DISTRIBUTE WIDELY! ---------------------