Tralala: Journées des 7 et 8 juillet 2005

Programme

Troisième réunion de Tralala, 7 et 8 juillet 2005, Amphi Turing, premier étage du Batiment M3, Université de Lille 1 (station de métro cité scientifique) Voir le plan

Jeudi 7 juillet

1. [9:30] Accueil
2. [10:00] Claire David (Paris 7)
3. [11:00] Silvano Dalzilio (Marseille) CCDEU.

4. Déjeuner

5. [14:00] Wim Martens (Limburg University)Minimizing Tree Automata for Unranked Trees
6. [15:00] Giuseppe Castagna (ENS) Semantic subtyping for the pi-calculus
7. [16:00] Denis Debarbieux (Lille): Indexes and Path constraints in semistructured data

Vendredi 8 juillet

1. [10:00] Rémi Gilleron (Lille III) Présentation de l'autre ACI MDD de Mostrare
2. [11:00] Discussion et organisation générale (planification, prochaines réunions, coordination, etc.)

3. Déjeuner

4. [14:00] Laurent Planque (Lille) Requêtes n-aires dans les arbres
5. [15:00] Emmanuel Filiot (Lille) Composition de requêtes monadiques

Participants

Lille: Anne-Cécile Caron, Sophie Tison, Joachim Niehren, Jean-Marc Talbot, Cédric Lhoussaine, Iovka Boneva, Denis Debarbieux, Emmanuel Filiot, Laurent Planque, Ens: Giuseppe Castagna, Inria: Luc Segoufin, LRI: Véronique Benzaken, Nicole Bidoit, Cédric Miachon, Kim Nguyên, Marseille: Silvano Dalzilio, Paris 7: Claire David, Mathias Samuelides, Invités : Wim Martens, Rémi Gilleron.