JFLA 2023

Journées Francophones des Langages Applicatifs
Praz-sur-Arly (Haute-Savoie)
mardi 31 janvier 2023

vendredi 3 février 2023
Praz-sur-Arly avec des Montgolfières (image © Fabrice Rumillat, Praz-sur-Arly Tourisme)

Dates importantes

Soumission des résumés 7 octobre 2022
Soumission des articles 14 octobre 2022
Notification aux auteurs 25 novembre 2022
Soumission version finale 14 décembre 2022
Ouverture des inscriptions 4 janvier 2023
Clôture des inscriptions 11 janvier 2023

Appel à soumission

Les 34es Journées Francophones des Langages Applicatifs (JFLA) se tiendront à Praz-sur-Arly (Haute-Savoie), plus précisément au Club Belambra L'Alisier , du mardi 31 janvier 2023 au vendredi 3 février 2023 .

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.

Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs 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 !

Soumission

Nous acceptons quatre types de soumissions :

  • Article de recherche de seize pages au plus (hors bibliographie), 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 de "perles", ces articles présentant avec élégance un résultat connu sous un angle nouveau.
  • Article court de huit pages au plus (hors bibliographie), pour rechercher de l'aide pour résoudre un problème particulier, ou reparler d'un papier déjà publié.
  • Proposition de tutoriel d'une page (hors bibliographie) exposant son intérêt et ses objectifs ainsi que l'environnement informatique nécessaire à sa réalisation.
  • Proposition de démonstration d'un outil ou d'un prototype de deux pages (hors bibliographie), décrivant pourquoi ce logiciel est intéressant ainsi que ses spécificités.

Dans tous les cas, la forme de l'article devra être soignée. Les articles sélectionnés seront publiés dans les actes de la conférence, et les auteurs seront invités à faire une présentation lors des journées.

L'article peut être rédigé en anglais, auquel cas la présentation devra être effectuée en français. Néanmoins, dans le cas où il s'agit d'une republication au format court d'un article déjà publié, la publication doit être en français et la publication originale en anglais.

Le style LaTeX Easychair doit être respecté :

https://easychair.org/publications/for_authors

Les soumissions se font sur la page Easychair des JFLA :

https://easychair.org/conferences/?conf=jfla2023

Organisation

Comité de programme

Timothy Bourke Inria, ÉNS de Paris Président
Delphine Demange Univ Rennes, Inria, CNRS, IRISA Vice-présidente
François Bobot CEA LIST, Paris
Lélio Brun ISAE-SUPAERO, Toulouse
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 Paris
Assia Mahboubi Inria Rennes
Gabriel Radanne LIP ENS Lyon / Inria, Lyon
Laurence Rideau Inria 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