Chantal Keller co-organise le 33e édition des Journées Francophones des Langages Applicatifs (JFLA 2022) à Saint-Médard-d'Excideuil, dans le Périgord.
Cet événement a pour ambition de promouvoir les ponts entre 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 :
- 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.