Tralala (partenaires)

Participants

1. Projet GEMO, INRIA Futurs et LIAFA, équipe Vérification:
   1. Luc SEGOUFIN[1] (CR INRIA), Ioana MANOLESCU (CR INRIA), Anca MUSCHOLL (Pr), Andrei ARION (Doc), Mathias SAMUELIDES (Doc)
   
   
2. LIENS, Laboratoire d'Informatique de l'ENS, équipe Langages:
   1. Giuseppe CASTAGNA[1] (CR CNRS), Alain FRISCH (Ingénieur corps des Télécoms)
   
   
3. LIF, Laboratoire d'Informatique Fondamentale de Marseille, équipe Move:
   1. Silvano DAL ZILIO[1] (CR CNRS), Denis LUGIEZ (Pr), Charles MEYSONNIER (Doc)
   
   
4. Equipe MOSTRARE, INRIA Futurs et LIFL, Laboratoire d'Informatique Fondamentale de Lille, équipe STC:
   1. Anne-Cécile CARON[1] (MdC), Sophie TISON (Pr), Joachim NIEHREN (Ing.Exp. INRIA), Jean-Marc TALBOT (MdC), Iovka BONEVA (Doc), Denis DEBARBIEUX (Doc)
   
   
5. LRI, Laboratoire de Recherche en Informatique, équipe Bases de Données:
   1. Véronique BENZAKEN[1] (Pr), Nicole BIDOIT (Pr), Marwan BURELLE (Doc), Cédric MIACHON (Doc), Matthieu OBJOIS (Doc), Virginie THION (Doc)
   
   

1. Partenaires étrangers
   1. Haruo Hosoya (Univ. Tokyo -- Japon)
   2. Benjamin C. Pierce (Univ. Pennsylvania -- USA)
   3. Thomas Schwentick (Univ. Marburg -- Allemagne)