Tralala: Journée du 22 février 2008

Programme

Septième réunion de Tralala, 22 février 2008, Laboratoire Preuves Programmes et Systèmes.

1. [09:45] Accueil
2. [10:15] Elena Giachino. Session and union types for object-oriented programming
3. [10:45] Ioana Manolescu. Efficient distributed repositories for XML.
4. [11:15] Coffee break.
5. [11:45] Hicham Idabal. Vues et Mises à jour de données semi-structurées: une analyse de dépendances
6. [12:15] Olivier Gauwin. Earliest Query Answering with Streaming Tree Automata
7. [12:45] Lunch.
8. [14:30] Cheikh Ba. Dependence Graphs for Verifications of Web Service Compositions with PEWS.
9. [15:00] Coffee break
10. [15:30] Business meeting: future projects, (see ANR Call : Programme Réseaux du Futur et Services)...

Participants

INRIA : Ioana Manolescu ; Lille : Anne-Cécile Caron, Emmanuel Filiot, Olivier Gauwin, Joachim Niehren, Mathias Samuelides, Sophie Tison ; LRI : Véronique Benzaken, Dario Colazzo, Kim Nguyên, Nicole Bidoit ; Marseille : Denis Lugiez ; Paris 7 : Pietro Abate, Vincent Balat, Giuseppe Castagna, Jérôme Vouillon, Elena Giachino ; Invités : Cheikh Ba, Béatrice Bouchou, Mirian Halfeld Ferrari Alves (Université de de Tours), Françoise Gire, Hicham Idabal (Université Paris I - Sorbonne), Mohamed Zergaoui (Innovimax), Pierre Genèves (Grenoble).