index - Archive ouverte HAL Accéder directement au contenu

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.

 

Comité de programme

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