jfla2019: Journées Francophones des Langages Applicatifs Le Village Vacances - Les Rousses Les Rousses, France, January 30-February 2, 2019 |
Conference website | https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/ |
Submission link | https://easychair.org/conferences/?conf=jfla2019 |
Abstract registration deadline | October 12, 2018 |
Submission deadline | October 19, 2018 |
Les trentièmes Journées Francophones des Langages Applicatifs (JFLA) se tiendront aux Rousses, dans le Haut-Jura, et plus précisément au Village Vacances Station les Rousses du mercredi 30 janvier au samedi 2 février 2019.
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.
Submission Guidelines
Nous acceptons deux types de soumissions :
- Article de recherche de seize pages au plus (bibilographie 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.
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 !
Committees
Program Committee
Nicolas Magaud | ICube, Université de Strasbourg (président) |
Zaynah Dargaye | CEA List (vice-présidente) |
Guillaume Burel | ENSIIE |
Evelyne Contejean | CNRS, Université Paris-Sud |
Claire Dross | Adacore |
Guillaume Dufay | Prove & Run |
Benjamin Grégoire | Inria Sophia-Antipolis Méditerranée |
Sébastien Hinderer | Inria Paris |
Marc Pouzet | ENS |
Yann Régis-Gianas | IRIF |
Bernard Serpette | Inria Bordeaux Sud-Ouest |
Mihaela Sighireanu | IRIF |
Julien Tesson | LACL |
Organizing committee
Pierre Castéran | Université de Bordeaux |
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 |
Contact
All questions about submissions should be emailed to magaud@unistra.fr and/or lea-zaynah.dargaye@cea.fr