![]() |
Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques.
Julien Signoles |
CEA LIST (président) |
Sylvie Boldo | Inria Saclay-Île de France, LRI (vice-présidente) |
June Andronick |
Data61/CSIRO et UNSW |
Anne-Gwenn Bosser |
ENIB, Lab-STICC |
Thomas Gazagnaire |
Docker |
Mohamed Iguernlala |
OCamlPro SAS |
Frédéric Loulergue |
SICCS, Northern Arizona University |
Laurent Mounier |
Verimag, Université Grenoble Alpes |
François Pottier |
Inria Paris |
Sylvain Salvati |
Université Lille 1 |
Mihaela Sighireanu | IRIF, Université Paris 7 |
Francesco Zappa Nardeli |
Inria Paris |