[ This message is intentionally written in French. ]
* Merci de faire circuler : premier appel à communications * JFLA'2019 (https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/) Journées Francophones des Langages Applicatifs Les Rousses dans le Jura du 30 janvier au 2 février 2019 Dates importantes---------------------12 octobre 2018 : soumission des résumés19 octobre 2018 : soumission des articles14 novembre 2018 : notification aux auteursLes JFLA réunissent concepteurs, utilisateurs et théoriciens ; ellesont pour ambition de couvrir les domaines des langages applicatifs, dela preuve formelle, de la vérification de programmes, et des objetsmathématiques qui sous-tendent ces outils. Ces domaines doivent êtrepris au sens large : nous souhaitons promouvoir les ponts entreles 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 personness'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiquesdes relecteurs sont toujours bienveillantes et la plupart du tempsencourageantes et constructives, même en cas de rejet.Il n'y a donc pas de raison de ne pas soumettre aux JFLA !Soumissions-----------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 articlessélectionnés seront publiés dans les actes de la conférence, et lesauteurs seront invités à faire une présentation lors des journées,de vingt-cinq minutes pour les articles longs et de quinze minutes pourles 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'unerepublication au format court d'un article déjà publié, la publicationdoit être en français et la publication originale en anglais.Le style LaTeX Easychair doit être respecté : https://easychair.org/publications/for_authorsLes soumissions se font sur la page Easychair des JFLA : https://easychair.org/conferences/?conf=jfla2019Notez que toute intention de soumission doit être annoncée au plus tard le 12octobre 2018 par le dépôt d'un résumé sur Easychair.date limite de soumission des résumés : 12 octobre 2018date limite de soumission des articles : 19 octobre 2018-- Nicolas Magaud, ICube UMR 7357 CNRS Université de Strasbourg300 bd Sébastien Brant - CS 10413 - F-67412 Illkirch Cedex