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