Partners

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)