Tralala: Journées des 10 et 11 mars 2005

Programme

Deuxième réunion plénière de Tralala, 10-11 mars 2005, salle des thèses, Université de Provence (Aix-Marseille I), Faculté des sciences, 3 place Victor Hugo, Marseille.

Orateur invité: Jacques Le Maitre (Université de Toulon).

Liste de talks

1. Joachim Niehren (LIFL): Introduction aux automates d'arbres et relation avec les langages de requêtes.
2. Giuseppe Castagna (ENS): Introduction au sous-typage sémantique.
3. Cédric Lhoussaine (LIFL): Introduction au pi-calcul et relation avec les langages concurrents.
4. Giuseppe Castagna (ENS): Sous-typage sémantique pour le pi-calcul.
5. Jacques Le Maitre (Univ. Toulon): Présentation du projet ACI SemWeb.
6. Silvano Dal Zilio (LIF): Un calcul typé pour la manipulation des grands documents XML.
7. Ioana Manolescu (INRIA): Évaluation de requêtes sur des documents XML compressés. (slides)
8. Dario Colazzo (LRI): Validating XPath queries.
9. Andrei Arion (INRIA) Optimisation de requêtes XML sous contraintes.

Participants

Lille: Laurent Planque, Emmanuel Filliot, Iovka Boneva, Denis Debarbieux, Joachim Niehren, Cédric Lhoussaine, Jean-Marc Talbot, Sophie Tison, Anne-Cecile Caron, Ens: Giuseppe Castagna, INRIA: Ioana Manolescu, Andrei Arion, LRI: Véronique Benzaken, Dario Colazzo, Cédric Miachon, Kim Nguyên, Marseille: Silvano Dal-Zilio, Lucia Acciai, Denis Lugiez, François Denis, Roberto Amadio, Jacques Le Maitre, Paris 7: Claire David, Mathias Samuelides.