Page d'accueil

7 au 10 janvier 2015, Val d'Ajol (Vosges)

 

 

Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, 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.
• Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web.

 

 

Comité de programme

David Baelde	LSV, ENS Cachan (Président)
Jade Alglave	MSR & UCL (Vice-présidente)
Maria-Virginia Aponte	CNAM
Sylvie Boldo	Inria, LRI
Pierre Clairambault	ENS Lyon
Delphine Demange	IRISA, Université de Rennes 1
Kim Nguyen	LRI, Université Paris-Sud 11
Florence Plateau	Prove & Run
Christophe Raffalli	LAMA, Université de Savoie
Julien Signoles	CEA LIST
Pierre-Yves Strub	IMDEA Software Institute
Jules Villard	Imperial College London