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