JFLA 2017

Les vingt-huitième Journées Francophones des Langages Applicatifs (JFLA) se tiendront au Belambra Club de Gourette, dans les Pyrénées du 4 au 7 janvier 2017.

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.

Dates

• 25 septembre 2016 2 octobre 2016 : soumission des résumés
• 9 octobre 2016 16 octobre 2016 18 octobre 2016: soumission des articles
• 18 novembre 2016 : notification aux auteurs
• 27 novembre 2016 : remise des articles définitifs
• 11 décembre : clôture des inscriptions
• 4 au 7 janvier 2017 : journées

Appel à communication

Nous acceptons deux types de soumissions :

• Article de recherche de quinze pages au plus, 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 six pages au plus, 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 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.

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.

Les étudiants présentant un article accepté bénéficieront d'un soutien des JFLA pour venir aux journées.

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

Soumissions

Les soumissions sont limitées à 15 pages pour les articles longs et 6 pages pour les courts.

Comité de programme

Julien Signoles	CEA LIST (président)
Sylvie Boldo	Inria Saclay-Île de France, LRI (vice-présidente)
June Andronick	Data61/CSIRO et UNSW
Anne-Gwenn Bosser	ENIB, Lab-STICC
Thomas Gazagnaire	Docker
Mohamed Iguernlala	OCamlPro SAS
Frédéric Loulergue	SICCS, Northern Arizona University
Laurent Mounier	Verimag, Université Grenoble Alpes
François Pottier	Inria Paris
Sylvain Salvati	Université Lille 1
Mihaela Sighireanu	IRIF, Université Paris 7
Francesco Zappa Nardeli	Inria Paris

Appel à participation

Inscrivez-vous aux journées jusqu'au dimanche 11 décembre. L'inscription est un forfait qui comprend l'hébergement en pension complète sur le site des journées:

• participant plein tarif, en chambre single : 600€ TTC;
• participant plein tarif, en chambre twin : 500€ TTC;
• étudiant, en chambre twin : 350€ TTC;
• étudiant avec article accepté, en chambre twin : gratuit.

Informations pratiques

Pour venir aux journées, vous pouvez venir en avion par l'aéroport de Pau ou en train par la gare de Pau. Une navette en car permettra d'atteindre facilement l'hôtel.

• gare de Pau - hôtel : mercredi 4 janvier, en liaison avec le TER de Dax, assurant la correspondance avec le TGV de Bordeaux et Paris et arrivant à 15h11;
• aéroport de Pau - hôtel : mercredi 4 janvier, en liaison avec le vol de Paris Orly atterissant à 15h05;
• hôtel - gare de Pau : samedi 7 janvier, en liaison avec le train pour Dax, Bordeaux et Paris partant à 15h05.
• hôtel - aéroport de Pau : samedi 7 janvier, en liaison avec le vol pour Paris Orly décollant à 16h20.

Programme

Le programme complet est désormais disponible. Deux cours et deux exposés invités sont notamment prévus.

Cours invités

• Guillaume Burel (ENSIIE).
  Exprimer ses théories en Dedukti, le vérificateur de preuves universel
• Benjamin Canou (OCamlPro SAS).
  Comment programmer en OCaml aujourd'hui

Exposés invités

• Damien Doligez (Inria Paris).
  Zenon
• Stéphane Lescuyer et Florence Plateau (Prove & Run).
  Langage et outil pour la preuve d'un micro-noyau

Articles acceptés