Vingt-sixièmes Journées Francophones des Langages Applicatifs collection |
![]() |
Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, 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.
David Baelde |
LSV, ENS Cachan (Président) |
Jade Alglave |
MSR & UCL (Vice-présidente) |
Maria-Virginia Aponte |
CNAM |
Sylvie Boldo |
Inria, LRI |
Pierre Clairambault |
ENS Lyon |
Delphine Demange |
IRISA, Université de Rennes 1 |
Kim Nguyen |
LRI, Université Paris-Sud 11 |
Florence Plateau |
Prove & Run |
Christophe Raffalli |
LAMA, Université de Savoie |
Julien Signoles |
CEA LIST |
Pierre-Yves Strub |
IMDEA Software Institute |
Jules Villard |
Imperial College London |