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