[ This message is intentionally written in French. ] * Merci de faire circuler : premier appel à communications * JFLA'2017 (http://jfla.inria.fr/2017/) Journées Francophones des Langages Applicatifs dans les Pyrénées, du 4 au 7 janvier 2017 Dates importantes ----------------- 25 septembre 2016 : date limite de soumission des résumés 09 octobre 2016 : date limite de soumission des articles 18 novembre 2016 : notification aux auteurs 27 novembre 2016 : remise des articles définitifs 04 au 07 janvier 2017 : journées 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 ! Cours invités ------------- . Guillaume Burel (ENSIIE) sur "Dedukti, un vérificateur de preuve universel" (titre exact à préciser) . Benjamin Canou (OCamlPro SAS) sur "comment programmer en OCaml aujourd'hui" (titre exact à préciser) Exposés invités ------------- . Stéphane Lescuyer et Florence Plateau (Prove and Run) sur "langage, prouveur et autres outils dédiés à la preuve d'un micro-noyau" (titre exact à préciser) . second orateur invité à préciser 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 Université d'Orléans Laurent Mounier Verimag, Université Grenoble Alpes François Pottier Inria Paris Sylvain Salvati Inria Bordeaux-Sud Ouest Mihaela Sighireanu IRIF, Université Paris 7 Francesco Zappa Nardeli Inria Paris Soumissions ----------- 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. Le style LaTeX est imposé : http://jfla.inria.fr/2017/actes.sty date limite de soumission des résumés : 25 septembre 2016 date limite de soumission des articles : 09 octobre 2016