Partners
From BWare
(Difference between revisions)
(→LRI (Toccata Team, formerly ProVal)) |
|||
| Line 37: | Line 37: | ||
* [http://gazagnaire.org/ Thomas Gazagnaire] (local coordinator) | * [http://gazagnaire.org/ Thomas Gazagnaire] (local coordinator) | ||
| + | * [http://www.iguer.info/ Mohamed Iguernelala] (since Sep. 2013) | ||
Latest revision as of 08:36, 23 February 2014
Contents |
[edit] Cedric (CPR Team)
- David Delahaye (global coordinator)
- Guillaume Burel
- Catherine Dubois
[edit] 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
[edit] Inria (Gallium, Deducteam, and Asap Teams)
- Damien Doligez (local coordinator)
- Gilles Dowek
- Fabrice Le Fessant
- Olivier Hermant (CRI, MINES ParisTech)
[edit] Mitsubishi Electric R&D Centre Europe
- David Mentré (local coordinator)
[edit] ClearSy
- Thierry Lecomte (local coordinator)
- Etienne Prun
- Lilian Burdy
- Antoine Requet
- Hector Ruiz-Barradas
[edit] OCamlPro
- Thomas Gazagnaire (local coordinator)
- Mohamed Iguernelala (since Sep. 2013)
