Partners
From BWare
Contents |
Cedric, CPR Team
- David Delahaye (global coordinator)
- Guillaume Burel
- Catherine Dubois
LRI, Toccata Team (formerly ProVal)
- Sylvain Conchon (local coordinator)
- Evelyne Contejean
- Jean-Christophe Filliâtre
- Mohamed Iguernelala
- Claude Marché
- Andrei Paskevich
Inria
- Damien Doligez (local coordinator)
- Gilles Dowek
- Fabrice Le Fessant
- Olivier Hermant
Mitsubishi Electric R&D Centre Europe
- David Mentré (local coordinator)
ClearSy
- Thierry Lecomte (local coordinator)
OCamlPro
- Thomas Gazagnaire (local coordinator)