SECONDE ANNONCE SECONDE ANNONCE SECONDE ANNONCE SECONDE ANNONCE SECONDE SECOND ANNOUNCEMENT SECOND ANNOUNCEMENT SECOND ANNOUNCEMENT ----------------------------------------------------------------------- Atelier international : MACHINES ET CALCULS UNIVERSELS ----------------------------------------------------------------------- parrainage IFIP SGFCS sponsorship avec de'ja` already le soutien de supported by Ministe`re de l'Enseignement Supe'rieur et de la Recherche France Telecom CNET Laboratoire d'Informatique The'orique et de Programmation Laboratoire de Mathe'matiques d'Orsay ----------------------------------------------------------------------- International Workshop : UNIVERSAL MACHINES AND COMPUTATIONS ----------------------------------------------------------------------- PARIS 1995 Jussieu, 403, 55-65 ---------- 29, 30, 31 MARS MARCH, 29, 30, 31 ----------------------------------------------------------------------- Langues : Languages : francais, anglais english, french (English text follows second %%%-line) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% DOMAINES D'ETUDE : frontie`res entre arre^t de'cidable et inde'cidable : machines de Turing, machines a` registres, automates cellulaires, pavages du plan, polyominos, 'snakes', re'seaux neuronaux, autres machines objets universels minimaux : taille du code : notamment pour machines de Turing, machines a` registres, automates cellulaires, pavages, ... complexite' de calcul de machines a` arre^t de'cidable et de machines universelles auto-reproduction et autres ta^ches COMITE DE PROGRAMME : Michel COSNARD, ENS Lyon Joaquim GABARRO, Universite' de Barcelone Eric GOLES, Universite' du Chili, Santiago Maurice MARGENSTERN, Universite' Paris 11, LITP, IBP, responsable, organisateur Maurice NIVAT, Universite' Paris 7, LITP, IBP COMITE D'ORGANISATION : Maurice MARGENSTERN, Universite' Paris 11, LITP, responsable Jean-Baptiste YUNES, Universite' Paris 7, LITP ORATEURS INVITES : Staal AANDERAA (Oslo) : titre non encore pre'cise' Danie`le BEAUQUIER (Paris) : "About poliominoes : some decidable or undecidable problems" Jean-Paul DELAHAYE (Lille) : "Complexite' des objets compose's" Peter van EMDE BOAS (Amsterdam) : "The convenience of tilings" Eric GOLES (Santiago du Chili) : "Simulation and Universality on Neural Networks" Etienne GRANDJEAN (Caen) : "Mode`les de calcul pour le temps line'aire" Josef GRUSKA (Bratislava, Hamburg) : "Universality versus effectivity in computing" Pascal KOIRAN (Lyon) : "Computability with low-dimensional dynamical systems" Ivan KOREC (Bratislava) : "Small universal register machines" Miroslav KUTYLOWSKI (Paderborn) : titre non encore pre'cise' Jacques MAZOYER (Lyon) : "Optimality of cellular automata with dedicated tasks" Kenichi MORITA (Hiroshima) : "Self-reproduction in reversible cellular automata" et "Universality of a reversible two-counter machine" Ludmila PAVLOTSKAYA (Moscou) "Sur le moyen de mode'liser une machine de Turing par une autre" Lutz PRIESE (Coblence) : "A small universal 2-dimensional Turing-machine with only 8 instructions" Yuri ROGOJINE (Kishinev) : "On notion of universality and Shannon's problem for Turing machines" Hava SIEGELMANN (Hai"fa) : "On the computational power of analog neural networks" Les rencontres scientifiques sur ce point sont pluto^t rares. Les travaux existent pourtant et s'e'parpillent dans le temps et de par le monde. N'est-il pas temps maintenant de re'unir tous ceux qui travaillent dans ces domaines, ne serait-ce qu'a` l'occasion de cet atelier? BOURSES POUR ETUDIANTS : Quinze bourses sont espe're'es pour permettre a` des e'tudiants en the`se ou de jeunes chercheurs post-doctoraux d'assister aux travaux de l'atelier. Actuellement, six bourses peuvent e^tre effectivement finance'es. Le nombre total de bourses effectivement disponibles sera annonce' au plus tard le 1er mars 1995. Les e'tudiants ou jeunes chercheurs de'sirant profiter de cette possibilite' doivent demander par e-mail un formulaire a` remplir qui leur sera adresse' par FAX et qu'ils devront obligatoirement renvoyer par FAX avant le 15 fe'vrier, date impe'rative. Ils seront avertis au plus tard le 1er mars de la re'ponse faite a` leur demande. Les bourses sont d'un montant de 1450FF AU PLUS pour les demandeurs re'sidant en France, de 1700FF AU PLUS pour ceux qui re'sident hors de France. DROITS D'INSCRIPTION : Pour participer aux travaux de l'atelier, s'inscrire en s'adressant au secre'tariat ou 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` 300FF, 150FF pour les participants dont le laboratoire aura contribue' au financement de l'atelier et 200FF pour les be'ne'ficaires d'une bourse du comite' d'organisation. Dans tous les cas, ces droits devront parvenir au plus tard le 1er mars 1995. FORMULAIRE D'INSCRIPTION : Nom : ................................................. Pre'nom : ................................................. Institution : ................................................. Adresse : ................................................. Pays : ................................................. adr. e'lectr. : ................................................. FAX : ................................................. Telephone : ................................................. Arrive'e : ................................................. De'part : ................................................. Pour les participants devant e^tre he'berge's a` l'hote^l, pre'voir que l'ACCUEIL aura lieu l'apre`s-midi du mardi 28 mars 1995. HEBERGEMENT A` partir du 1er fe'vrier 1995, le comite' d'organisation pourra vous fournir, sur votre demande, une liste d'ho^tels se trouvant a` proximite' du lieu de l'atelier. POUR TOUTE CORRESPONDANCE : voie postale : Maurice MARGENSTERN Atelier International "Machines et calculs universels" LITP, 55-56, b.119 Universite' Paris 7 2, place Jussieu F - 75251 PARIS CEDEX 05 courrier e'lectronique : mcu95@capella.ibp.fr FAX : (33 1 / 16) 44 27 68 49 NB : 33 de l'e'tranger, 16 en France exclusivement ----------------------- SVP, DIFFUSEZ LARGEMENT! ---------------------- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TOPICS : frontiers between a decidable halting problem and an undecidable one : Turing machines, register machines, cellular automatas, tiling of the plane, polyominoes, snakes, neural networks, other machines minimal universal codes : size of such a code, namely, for Turing machines, register machines, cellular automatas, tilings,... computation complexity of machines with a decidable halting problem as well as universal machines self-reproduction and other tasks PROGRAM COMMITTEE : Michel COSNARD, ENS Lyon Joaquim GABARRO, University of Barcelona Eric GOLES, University of Chile, Santiago Maurice MARGENSTERN, University Paris 11, LITP, IBP, Chair, organizer Maurice NIVAT, University Paris 7, LITP, IBP ORGANIZING COMMITTEE : Maurice MARGENSTERN, University Paris 11, LITP, Chair Jean-Baptiste YUNES, University Paris 7, LITP INVITED SPEAKERS : Staal AANDERAA (Oslo) : titre non encore pre'cise' Danie`le BEAUQUIER (Paris) : "About poliominoes : some decidable or undecidable problems" Jean-Paul DELAHAYE (Lille) : "Complexite' des objets compose's" Peter van EMDE BOAS (Amsterdam) : "The convenience of tilings" Eric GOLES (Santiago du Chili) : "Simulation and Universality on Neural Networks" Etienne GRANDJEAN (Caen) : "Mode`les de calcul pour le temps line'aire" Josef GRUSKA (Bratislava, Hamburg) : "Universality versus effectivity in computing" Pascal KOIRAN (Lyon) : "Computability with low-dimensional dynamical systems" Ivan KOREC (Bratislava) : "Small universal register machines" Miroslav KUTYLOWSKI (Paderborn) : title not yet communicated Jacques MAZOYER (Lyon) : "Optimality of cellular automata with dedicated tasks" Kenichi MORITA (Hiroshima) : "Self-reproduction in reversible cellular automata" et "Universality of a reversible two-counter machine" Ludmila PAVLOTSKAYA (Moscow) "Sur le moyen de mode'liser une machine de Turing par une autre" Lutz PRIESE (Koblenz) : "A small universal 2-dimensional Turing-machine with only 8 instructions" Yuri ROGOJINE (Kishinev) : "On notion of universality and Shannon's problem for Turing machines" Hava SIEGELMANN (Haifa) : "On the computational power of analog neural networks" Scientific meetings on that points don't hold quite often. Works on these themes do exist but are somehow scattered over the world. Did not time come for people working in so different places to meet at least once at the occasion of this workshop? GRANTS FOR STUDENTS : Fifteen grants are wished for allowing PhD or Postdoc students to attend the workshop. Presently, six grants can be actually given. The eventual number of grants which will actually be given will be announced, not later than March, 1st. Students or young reseachers wishing to apply for this grants must ask by e-mail a form to be received by FAX and to be returned to the organizing committee mandatory by FAX before February, 15 (no delay). They will be answered not later than March, 1st. Grants amount to AT MOST 1450FF for applicants living in France and AT MOST 1700FF for those living outside of France. INSCRIPTION FEES : For attending the workshop, send your registration to our secretary or send it using the form, below. You may use surface mail, FAX or e-mail. Registration fees amounts to 300FF, but 150FF for participants whose institution has made grant to the workshop and 200FF for people granted by the organizing committee. In all cases, fees must be paid to the workshop organization before March 1st, 1995. REGISTRATION FORM : Family name : ................................................. First name : ................................................. Affiliation : ................................................. Address : ................................................. Country : ................................................. e-mail : ................................................. FAX : ................................................. Phone : ................................................. Arrival : ................................................. Departure : ................................................. If you need lodging in hotel, please, keep in mind that RECEPTION will take place in the afternoon of Tuesday, March, 28, 1995. LODGING Starting from February, 1st, 1995, the organizing committee will send, on request, a list of hotels not too far from the place of the workshop. FOR YOUR MAIL : surface mail : Maurice MARGENSTERN International Workshop "Universal Machines and Computations" LITP, 55-56, b.119 Universite' Paris 7 2, place Jussieu F - 75251 PARIS CEDEX 05 e-mail : mcu95@capella.ibp.fr FAX : (33 1) 44 27 68 49 ---------------------- PLEASE, DISTRIBUTE WIDELY! ---------------------