JFLA 2018
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
Sylvie Boldo | Inria Saclay-Île de France, LRI (présidente) |
Nicolas Magaud | Université de Strasbourg (vice-président) |
Clara Bertolissi |
LIF-Universite Aix-Marseille |
Timothy Bourke |
Inria Paris, ENS |
Benjamin Canou |
OCamlPro |
Zaynah Dargaye |
CEA LIST |
Alain Frisch |
LexiFi |
Frédéric Gava |
Université de Paris-Est |
Alain Giorgetti |
FEMTO-ST, Université de Franche-Comté |
Kim Nguyen | Université Paris-Sud |
François Pottier |
Inria Paris |
Yann Régis-Gianas |
IRIF |
Laurence Rideau |
Inria Sophia Antipolis - Méditerranée |