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.
- 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.
- Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement.
- Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web.
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 |
Designed by Inria-IES Team Hosted by HAL