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.
- Langages fonctionnels et applicatifs: sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes.
- Assistants de preuve: implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique.
- Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles.
- Spécification, prototypage, développements formels d'algorithmes.
- Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web.
Comité de programme
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 |