index - Trente-Quatrièmes Journées Francophones des Langages Applicatifs

Ce site web réunit les articles des JFLA 2023. Le site web de la conférence contient les informations pour l'évènement lui-même.

Les actes sont aussi disponibles dans un seul fichier pdf.

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.

Exposés invités

  • À propos de l'agrégation d'informatique, Sylvie Boldo.
  • Théorie et pratique des effets en OCaml 5, Xavier Leroy.

Cours invités

  • Tutoriel Mathematical Components, Cyril Cohen.

Articles longs

Articles courts

Démonstrations de prototypes


Comité de programme

 

Timothy Bourke   Inria, ÉNS de Paris, Paris Président
Delphine Demange   Univ Rennes, Inria, CNRS, IRISA Vice-présidente
François Bobot   CEA LIST, Paris  
Lélio Brun    National Institute of Informatics, Tokyo  
Raphaëlle Crubillé    CNRS, LIS, Aix-Marseille  
Pierre-Évariste Dagand    CNRS, IRIF, Paris  
Stefania Gabriela Dumbrava    Institut Polytechnique de Paris / ENSIIE, Paris  
Benjamin Farinier   Université Rennes 1 / IRISA, Rennes  
Aymeric Fromherz   Inria de Paris, Paris  
Diane Gallois-Wong   Nomadic Labs, Paris  
Assia Mahboubi   Inria U. de Rennes, Nantes  
Gabriel Radanne   LIP ENS Lyon / Inria U. GA, Lyon  
Laurence Rideau   Inria U. Côte d'Azur, Sophia Antipolis  
Pierre Roux   Onera, Toulouse  
Boris Yakobowski   AdaCore, Paris  

Comité de pilotage

 

Zaynah Dargaye   Nomadic Labs
Catherine Dubois   École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)
Jean-Christophe Filliâtre   CNRS
Louis Mandel   IBM Research
Micaela Mayero   LIPN, Université Paris 13
Yann Régis-Gianas   Nomadic Labs
Alan Schmitt   Inria Rennes - Bretagne Atlantique
Julien Signoles   CEA LIST
Pierre Weis   Inria Paris