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

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