Partners
Révision datée du 23 février 2014 à 08:36 par Bware (discussion | contributions)
Sommaire
Cedric (CPR Team)
- David Delahaye (global coordinator)
- Guillaume Burel
- Catherine Dubois
LRI (VALS team, formerly Toccata, formerly ProVal)
- Sylvain Conchon (local coordinator)
- Evelyne Contejean
- Jean-Christophe Filliâtre
- Mohamed Iguernelala (moved to OCamlPro in Sep. 2013)
- Claude Marché
- Andrei Paskevich
- Léon Gondelman
Inria (Gallium, Deducteam, and Asap Teams)
- Damien Doligez (local coordinator)
- Gilles Dowek
- Fabrice Le Fessant
- Olivier Hermant (CRI, MINES ParisTech)
Mitsubishi Electric R&D Centre Europe
- David Mentré (local coordinator)
ClearSy
- Thierry Lecomte (local coordinator)
- Etienne Prun
- Lilian Burdy
- Antoine Requet
- Hector Ruiz-Barradas
OCamlPro
- Thomas Gazagnaire (local coordinator)
- Mohamed Iguernelala (since Sep. 2013)