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
Jade Alglave | Microsoft Research Cambridge et University College London (présidente) |
Julien Signoles | CEA LIST (vice-président) |
Thibaut Balabonski | LRI, Université Paris-Sud |
Thomas Braibant | Jane Street |
Sylvie Boldo |
Inria, LRI |
Cyril Cohen | Inria Sophia Antipolis - Méditerranée |
Claire David | Université Paris-Est Marne-la-Vallée |
Cezara Dragoi |
Inria Paris-Rocquencourt |
Jean-Marie Madiot | Princeton University |
Gustavo Petri | LIAFA - Université Paris Diderot (Paris 7) |
Boris Yakobowski | CEA LIST |