Tralala: Journées du 23 et 24 mai 2006

Programme

Cinquième réunion de Tralala, 23 et 24 mai 2006, Salle LSH/411, Université de Provence, campus Saint-Charles.

Mardi 23 mai

1. [11:30] Accueil

2. Déjeuner

3. [13:30] Alain Frisch Streaming XML par évaluation gloutonne
4. [14:15] Nicole Bidoit, Dario Colazzo Capturing well typed references in DTDs

5. Pause

6. [15:30] Nabil Layaida, Pierre Geneves (INRIA Rhône-Alpes) Mu-calcul pour les arbres finis et analyse statique de XPath
7. [16:15] Joachim Niehren, Emmanuel Filiot TBA

Mercredi 24 mai

1. [09:00] Denis Lugiez Presburger modal logic is only PSPACE complete
2. [09h45] Lucia Acciai Responsiveness in Process Calculi

3. Pause

4. [11:00] Mâtinée démos:
   1. Cédric Miachon Pattern by Example: a graphical language for XML processing -- Démo
   2. Kim Nguyen Crawlers in CDuce -- Démo
   3. Kim Nguyen ECDuce = CDuce + XHTML -- Démo

Participants

Lille: Anne-Cécile Caron, Sophie Tison, Joachim Niehren, Jean-Marc Talbot, Denis Debarbieux, Emmanuel Filiot; Ens: Giuseppe Castagna, Nils Gesbert; LRI: Véronique Benzaken, Nicole Bidoit, Dario Colazzo, Cédric Miachon, Kim Nguyên; Marseille: Lucia Acciai, Silvano Dal Zilio, Denis Lugiez; Paris 7: Mathias Samuelides; Invités : Alain Frisch, Francoise Gire, Nabil Layaida, Pierre Geneves.