Tralala: Journée du 3 novembre 2004

Programme

Première réunion plenaire de Tralala, 3 novembre 2004, Grande Salle, École Normale Supérieure, 46 rue d'Ulm (la salle se trouve au niveau -1, sur ce plan c'est le batiment marqué en vert entre rue d'Ulm et rue Gay Lussac, entrée en face du batiment 6, marquée par un triangle rouge.

Liste de talks

1. [10.00-10.25] Silvano Dal Zilio (LIF): ASTuce, une restriction de CDuce pour la manipulation des grands documents XML (slides).
2. [10.25-10.50] Kim Nguyen (LRI): Itérateurs pour XML.
3. [10.50-11.15] Cédric Miachon (ENS): CQL: A Full Pattern-based Paradigm for XML Query Processing. (slides).

   [11.15-11.30] Pause

4. [11.30-11.55] Andrei Arion (INRIA): Optimisation générique de requêtes XQuery. (slides)
5. [11.55-12.20] Nicole Bidoit (LRI): Données semistricturees et logique modale hybride (slides).
6. [12.20-12.55] Joachim Niehren (LIFL): Learning node selecting tree transducer from completely annotated examples

   [13.00-14.00] Repas (pot ENS)

7. [14.00-14.25] Lucia Acciai (LIF): XPi: a typed process calculus for XML messaging. (slides).
8. [14.25-14.50] Daniele Varacca (ENS):Semantic subtyping for the pi-calculus.
9. [14.50-15.15] Iovka Boneva (LIFL): Class of automata for unranked unordered trees and connection with the TQL logic. (slides)
10. [15.15-15.40] Anca Muscholl (LIAFA): Automates avec des conditions Presburger. (slides).

    [15.40-16.00] Pause

11. [16.00-18.30] Discussion et organisation générale (planification, prochaines réunions, coordination, etc.)

Participants

Lille: Anne-Cécile Caron, Sophie Tison, Joachim Niehren, Jean-Marc Talbot, Cédric Lhoussaine, Iovka Boneva, Denis Debarbieux, Laurent Planque, Ens: Giuseppe Castagna, Cédric Miachon, Daniele Varacca, Inria: Ioana Manolescu, Andrei Arion, Luc Segoufin, Alain Frisch LRI: Véronique Benzaken, Nicole Bidoit, Kim Nguyên, Matthieu Objois, Marwan Burelle, Dario Colazzo Marseille: Silvano Dalzilio, Lucia Acciai, Denis Lugiez Paris 7: Anca Muscholl, Claire David, Mathias Samuelides.