Page d'accueil

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