Partners

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)