Frac d'automne 2007
Les rencontres FRAC sont des rencontres semestrielles francophones autour des thèmes du Projet ANR Sycomore : « Systèmes complexes et modèles de calcul ».
Lieu et dates
Les rencontres FRAC d’automne 2007 auront lieu les mardi 27 et mercredi 28 novembre, au CMI, technopôle de Château-Gombert, à Marseille.
Inscription
Afin d’organiser au mieux ces journées, il est demandé aux participants de s’inscrire par mail à l’adresse victor.poupet [at] lif.univ-mrs.fr. Il n’y a pas de frais d’inscription et les frais autres que l’organisation stricte des rencontres (matériel, salles, pauses café) sont à la charge des participants (transport, logement, dîner du mardi soir).
Déroulement des journées
Ces journées seront dédiées aux Systèmes Complexes dans l’esprit de Sycomore.
Les participants peuvent proposer des exposés, courts (30 min) ou longs (1h), lors de leur inscription. Dans ce cas, merci de le signaler par mail à victor.poupet [at] lif.univ-mrs.fr en indiquant la durée souhaitée, un titre et un résumé de 5 à 10 lignes (Rq : dans le cas où le nombre d’exposés proposés serait trop important, nous pourrions être amenés à faire une sélection parmi les exposés).
Les exposés peuvent être en français ou en anglais, les transparents de préférence en anglais.
Programme
| Mardi 27 novembre | ||
| 10h00 - 10h30 : | Accueil | |
| chair : Bruno Durand | ||
| 10h30 - 11h30 : | Alexander Shen, Fixed Point Tilings | |
| 11h30 - 12h00 : | Nicolas Ollinger, 104 tiles | |
| 12h00 - 12h30 : | Andrei Romashchenko, On a Definition of Strong Aperiodicity for Tilings | |
| Déjeuner | ||
| chair : Alexander Shen | ||
| 16h00 - 16h30 : | Gaetan Richard, Collisions and their Catenations : Ultimately Periodic Tilings of the Plane | |
| 16h30 - 17h00 : | Sylvain Périfel, Compression de mots à l’aide d’automates à piles | |
| Mercredi 28 novembre | ||
| 9h30 - 10h30 : | Jacques Mazoyer | |
| Pause | ||
| chair : Jacques Mazoyer | ||
| 11h00 - 11h30 : | Enrico Formenti, Shifting and Lifting Legacy for Cellular Automata | |
| 11h30 - 12h00 : | Guillaume Theyssier, Quantifier Elimination for Topological Dynamics of Cellular Automata | |
| 12h00 - 12h30 : | Pietro Di Lena, Basin Languages and Computational Complexity of Cellular Automata | |
| Déjeuner | ||
| chair : Enrico Formenti | ||
| 14h30 - 15h00 : | Pierre Guillon, Presque un théorème de Rice sur les traces | |
| 15h00 - 15h30 : | Alexis Ballier, Ensembles de pavages et interprétation logique |
Participants
Liste des participants :
| Nom | Etablissement | |
| Alexis Ballier | Université de Provence, France | |
| Laurent Bienvenu | Université de Provence, France | |
| Laurent Boyer | Université de Savoie, France | |
| Marianne Delorme | ENS Lyon, France | |
| Pietro Di Lena | Université de Bologne, Italie | |
| Bruno Durand | Université de Provence, France | |
| Thomas Fernique | LIRMM, France | |
| Enrico Formenti | Université de Nice, France | |
| Fabien Givors | ENS Lyon, France | |
| Pierre Guillon | Université Paris-Est, France | |
| Emmanuel Jeandel | Université de Provence, France | |
| Timo Jolivet | ENS Lyon, France | |
| Tarik Kaced | ENS Lyon, France | |
| Grégory Lafitte | Université de Provence, France | |
| Marc Lasson | ENS Lyon, France | |
| Bruno Martin | Université de Nice, France | |
| Benoît Masson | Université de Provence, France | |
| Jacques Mazoyer | ENS Lyon, France | |
| Nicolas Ollinger | Université de Provence, France | |
| Sylvain Périfel | ENS Lyon, France | |
| Victor Poupet | Université de Provence, France | |
| Gaétan Richard | Université de Provence, France | |
| Andrei Romashchenko | ENS Lyon, France | |
| Guillaume Theyssier | Université de Savoie, France | |
| Michael Weiss | Université de Genève, Suisse |