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

 

Organisateurs

Benoît Masson

Victor Poupet