| Adrien Champion |
OCamlPro |
| Adrien Guatto chair |
Institut de Recherche en Informatique Fondamentale & Université Paris 7 |
| Arthur Charguéraud |
Inria |
| Assia Mahboubi |
INRIA and Vrije Universiteit Amsterdam |
| Boris Yakobowski |
AdaCore |
| Chantal Keller |
LMF, University Paris-Saclay |
| Damien Pous |
ENS Lyon |
| Delphine Demange chair |
Univ Rennes, Inria, CNRS, IRISA |
| Dominique Larchey-Wendling |
Université de Lorraine, CNRS, LORIA |
| Frédéric Dabrowski |
Université d'Orléans |
| Guillaume Baudart |
Inria |
| Hugo Férée |
Université Paris Cité / IRIF |
| Jean-Christophe Filliâtre |
CNRS |
| Jocelyn Sérot |
Institut Pascal, Clermont-Ferrand |
| Lionel Rieg |
VERIMAG UMR 5104, Université Grenoble Alpes, France |
| Luc Maranget |
INRIA Paris |
| Pierre-Evariste Dagand |
CNRS - IRIF |
| Raphaël Monat |
Inria & University of Lille |
| Raphaëlle Crubillé |
CNRS |
| Sophie Tourret |
Inria |
| Sylvie Boldo |
Inria |
| Yannick Zakowski |
Inria |