JFLA 2026

Journées Francophones des Langages Applicatifs
Vosges du Nord
mardi 27 janvier 2026

vendredi 30 janvier 2026
Vue sur l'Hôtellerie du Couvent

Dates importantes

Soumission des résumés et articles 16 octobre 2025
Notification aux auteurs et autrices 2 décembre 2025
Envoi des versions finales 16 décembre 2025
Ouverture des inscriptions
Conférence 27 janvier 2026 - 30 janvier 2026

Programme

Exposés invités

Véronique Cortier (Loria, CNRS)
tba
Jade Alglave (University College, Arm)
tba

Cours invités

François Pottier (Inria Paris) et Jean-Marie Madiot (Inria Paris)
tba

Appel à soumission

Les 37es Journées Francophones des Langages Applicatifs (JFLA) se tiendront au Vosges du Nord, plus précisément au Hôtellerie du Couvent , du mardi 27 janvier 2026 au vendredi 30 janvier 2026 .

Les JFLA réunissent concepteur·rice·s, utilisateur·rice·s et théoricien·ne·s ; 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, extensions par d'autres paradigmes.
  • Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt théorique, 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, vérification déductive, interprétation abstraite, raffinement.
  • Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues de la communauté scientifique. Outils et plateformes pour le web.
  • Questions d'enseignement, de formation, ou de diffusion des langages fonctionnels et applicatifs. Environnements et méthodes de développement, retours d'expérience.

Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, et au moins trois personnes s'ils sont rejetés. Les critiques du comité de programme sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet.

Il n'y a donc pas de raison de ne pas soumettre aux JFLA !

Types de soumissions

Nous acceptons deux types de soumissions :

  • Article de recherche (18 pages maximum), portant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est pas entièrement finalisé. Nous encourageons aussi la soumission d'articles présentant avec élégance un résultat connu sous un angle nouveau.
  • Article court (9 pages maximum), décrivant un problème particulier, les pistes en cours d'investigation, et visant à rechercher de l'aide de la part de la communauté. Les articles courts peuvent également présenter de manière synthétique et cohérente des résultats déjà publiés. Enfin, ils peuvent présenter un outil logiciel dont l'exposé constituera une démonstration.

Consignes aux auteurs et autrices

  • Les articles peuvent être rédigés en français ou en anglais.
  • La forme de l'article doit être soignée, et le contenu rédigé de manière structurée et claire.
  • Le style LaTeX jflart doit impérativement être utilisé sans modification de la mise en page. Le style LaTeX et sa documentation sont disponibles ici :

    jflart.zip

  • Les limites de pages sont strictes. Les références bibliographiques ne sont pas comptabilisées dans la limite de pages. Les annexes aux articles ne sont pas autorisées.
  • Les auteurs et autrices peuvent soumettre du matériel supplémentaire, séparé de l'article soumis, sous forme de texte (version longue, sans limite de pages) et/ou de développement logiciel. L'évaluation de ce matériel supplémentaire est à la discrétion du comité de programme. Les articles soumis doivent donc être auto-contenus et évaluables sans ce matériel supplémentaire.
  • Les soumissions parallèles dans d'autres conférences, journaux ou workshops avec actes ne sont pas autorisées.
  • Les membres du comité de programme sont autorisés à soumettre un article. Les présidentes du comité ne le sont pas.
  • Les articles doivent être soumis via le site :

    https://jfla2026.hotcrp.com/

  • L'évaluation des articles suit un processus en simple-aveugle : les rapports sont anonymes, mais pas les auteurs et autrices.
  • Les articles acceptés seront publiés dans les actes de la conférence, sur HAL, et les auteurs et autrices en donneront une présentation lors des journées. Les présentations seront, de préférence, données en français.

Organisation

Comité de programme

Marie Kerjean LIPN, CNRS Présidente
Yannick Zakowski Inria Paris Vice-président
Sylvain Boulmé Verimag, Grenoble INP - UGA
Pierre Boutillier
Julie Cailler Université de Lorraine
Cyril Cohen Inria Lyon
Nathanaëlle Courant OcamlPro
Stefania Gabriela Dumbrava ENSIIE/Télécom SudParis
Yann Hamdaoui Tweag
Son Ho Microsoft Azure Research
Meven Lennon Bertrand University of Cambridge
Guillaume Melquiond Inria Lyon
Benoît Montagu Inria Rennes
Hugo Paquet Inria Paris
Lionel Parreaux Hong Kong University of Science and Technology
Clément Pit-Claudel EPFL
François Pottier Inria Paris
Gabriel Scherer Inria Paris
Mihaela Sighireanu Université Paris-Saclay, ENS Paris-Scalay, LMF
Mathieu Sozeau Inria Rennes

Comité de pilotage

Zaynah Dargaye Nomadic Labs
Catherine Dubois ENSIIE
Jean-Christophe Filliâtre CNRS, LMF
Louis Mandel IBM Research
Micaela Mayero LIPN, Université Sorbonne Paris Nord
Yann Régis-Gianas Nomadic Labs
Alan Schmitt Inria
Julien Signoles Université Paris-Saclay, CEA, List
Pierre Weis Inria