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.

All pages of this site were automatically generated from an XML description of the content by the following CDuce program.

Powered by CDuce