JFLA 2020

Gruissan village, la nuit
Gruissan Tour Barberousse
Gruissan village, la nuit
Gruissan
mercredi 29 janvier 2020

samedi 1er février 2020

Appel à soumission

 Les 31es Journées Francophones des Langages Applicatifs (JFLA) se tiendront à Gruissan, plus précisément Hôtel Phoebus Garden & spa , du mercredi 29 janvier 2020 au samedi 1er février 2020 .

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 deux types de soumissions :

  • Article de recherche de seize pages au plus (bibliographie incluse), portant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est pas entièrement finalisé.
  • Article court de huit pages au plus (bibliographie incluse), pour décrire un prototype, faire la démonstration d'un outil, rechercher de l'aide pour résoudre un problème particulier, ou reparler d'un papier déjà publié.

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, de vingt-cinq minutes pour les articles longs et de quinze minutes pour les courts.

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=jfla20

Dates importantes

Soumission des résumés 4 octobre 2019 1er octobre 2019
Soumission des articles 15 octobre 2019 8 octobre 2019
Notification aux auteurs 9 novembre 2019 2 novembre 2019

Organisation

Comité de programme

Zaynah Dargaye Nomadic Labs Présidente
Yann Regis-Gianas IRIF, Université Paris-Diderot Vice-président
Valentin Blot Inria Saclay
Anne-Gwenn Bosser Enib, Université Bretagne Loire
Vincent Botbol Nomadic Labs
Emmanuel Chailloux LIP6, Université Paris-Sorbonne
Angelo Corsaro ADLINK Technology inc.
Delphine Demange Univ Rennes, Inria, CNRS, IRISA
Chantal Keller LRI, Université Paris-Sud
Marie Kerjean Inria Rennes-Bretagne Atlantique
Alain Mebsout OCamlPro
Julien Narboux ICube, Université de Strasbourg
Marie Pelleau Université de Nice
Pierre-Marie Pédrot Inria Rennes-Bretagne Atlantique
Gabriel Scherer Inria Saclay

Comité de pilotage

Pierre Castéran LaBRI
Catherine Dubois École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)
Micaela Mayero LIPN, Université Paris 13
Alan Schmitt Inria Rennes - Bretagne Atlantique
Julien Signoles CEA LIST
Pierre Weis Inria Paris