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 |