index - Vingt-neuvièmes Journées Francophones des Langages Applicatifs

JFLA 2018

 

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

                 Sylvie Boldo          Inria Saclay-Île de France, LRI (présidente)
Nicolas Magaud          Université de Strasbourg (vice-président)
Clara Bertolissi 
        LIF-Universite Aix-Marseille
Timothy Bourke 
        Inria Paris, ENS
Benjamin Canou 
        OCamlPro
Zaynah Dargaye 
        CEA LIST
Alain Frisch 
        LexiFi
Frédéric Gava 
        Université de Paris-Est
Alain Giorgetti 
        FEMTO-ST, Université de Franche-Comté
Kim Nguyen         Université Paris-Sud
                                         François Pottier 
        Inria Paris
Yann Régis-Gianas 
        IRIF
                                                                                          Laurence Rideau 
        Inria Sophia Antipolis - Méditerranée