Journées JFLA (Journées Francophones des Langages Applicatifs)

JFLA'2022 :  http://jfla.inria.fr/jfla2022.html 

2 février au 5 février 2022

 Domaine d'Essendiéras (Périgord)                

Les 33-ièmes Journées Francophones des Langages Applicatifs (JFLA) se tiendront dans le Périgord, à Saint Médard d’Excideuil, au coeur du Domaine d'Essendiéras, du mercredi 2 février 2022 au samedi 5 février 2022.

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.