Tralala: Journées du 26 et 27 janvier 2006

Programme

Quatrième réunion de Tralala, 26 et 27 janvier 2006, Sous-marin, LIAFA, sixième étage, 175 rue du Chevaleret. Pour l'accès à Chevaleret consulter cette page

Jeudi 26 janvier

1. [9:30] Accueil
2. [10:00] Alain Frisch OCaml+ XDuce
3. [10:45] Francoise Gire General structure constraints for XML documents
4. [11:30] Ioana Manolescu Uload, choosing the right storage for your XML applications - Demo

5. Déjeuner

6. [14:00] Discussion et organisation générale (planification, prochaines réunions, coordination, etc.)
7. [15h30] Nicole Bidoit, Dario Colazzo Systeme de preuves par tableaux pour la logique multi-modale hybride
8. [16:15] Kim Nguyên Type projectors

Vendredi 27 janvier

1. [10:00] Cosimo Laneve (Universitá di Bologna) PiDuce: a calculus for experimenting web services technologies
2. [10h45] Lucia Acciai A Typed Calculus for Querying Distributed XML Documents
3. [11:30] Denis Debarbieux Requetes graphes

4. Déjeuner

5. [14:00] Mathias Samuelides tree walking automata with pebbles

Participants

Lille: Anne-Cécile Caron, Sophie Tison, Joachim Niehren, Jean-Marc Talbot, Iovka Boneva, Denis Debarbieux, Emmanuel Filiot Ens: Giuseppe Castagna, Inria: Andrei Arion, Ioana Manolescu LRI: Véronique Benzaken, Nicole Bidoit, Dario Colazzo, Cédric Miachon, Kim Nguyên, Matthieu Objois, Marseille: Lucia Acciai Paris 7: Claire David, Mathias Samuelides, Invités : Alain Frisch, Nils Gesbert, Francoise Gire, Cosimo Laneve.