From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 005AF8027E for ; Mon, 16 Oct 2017 12:10:59 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sylvie.boldo@inria.fr; spf=None smtp.mailfrom=sylvie.boldo@inria.fr; spf=None smtp.helo=postmaster@ext.lri.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sylvie.boldo@inria.fr) identity=pra; client-ip=129.175.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sylvie.boldo@inria.fr"; x-sender="sylvie.boldo@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sylvie.boldo@inria.fr) identity=mailfrom; client-ip=129.175.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sylvie.boldo@inria.fr"; x-sender="sylvie.boldo@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@ext.lri.fr) identity=helo; client-ip=129.175.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sylvie.boldo@inria.fr"; x-sender="postmaster@ext.lri.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5CUdEhz3sUzLZh/XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0u8eIJqq85mqBkHD//Il1AaPBtqLra8cw8Pt8IneGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2NBXupSi55DsWXxH+LhZd?= =?us-ascii?q?J+LvG4eUgd7k+fq1/sjocgFWhTf1S7R2IBL++R7AstcXjM1oLaI9zTPIpGFJcq?= =?us-ascii?q?JY3zU7dhqogx/g65Lor9ZY+CNKtqd5+g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AJAwA9heRZYAQPr4FdFgYBAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYM0IgFBbhSDSkOZT5o5CiOJcEMUAQEBAQEBAQEBAQEFGgsJByk?= =?us-ascii?q?vgjgiglYXDwEFMCocAiYCbAgBAYoZBQuMO41WkBGCJ4s9IQWBDoIfggeBUYFqK?= =?us-ascii?q?4Q8gXWEZoJhBYoXlzGBAIEvhTCNDIVwhXSHMpVvgTcCNoF6NCEpWoJlgmeBdgO?= =?us-ascii?q?LSQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AJAwA9heRZYAQPr4FdFgYBAQQBAQoBARcBAQQBAQoBAYM?= =?us-ascii?q?0IgFBbhSDSkOZT5o5CiOJcEMUAQEBAQEBAQEBAQEFGgsJBykvgjgiglYXDwEFM?= =?us-ascii?q?CocAiYCbAgBAYoZBQuMO41WkBGCJ4s9IQWBDoIfggeBUYFqK4Q8gXWEZoJhBYo?= =?us-ascii?q?XlzGBAIEvhTCNDIVwhXSHMpVvgTcCNoF6NCEpWoJlgmeBdgOLSQEBAQ?= X-IronPort-AV: E=Sophos;i="5.43,386,1503352800"; d="scan'208";a="241143271" Received: from ext.lri.fr ([129.175.15.4]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Oct 2017 12:10:58 +0200 Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id 1222940BC9 for ; Mon, 16 Oct 2017 12:10:58 +0200 (CEST) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id tgtP1tConYok for ; Mon, 16 Oct 2017 12:10:58 +0200 (CEST) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTPSA id F1473406E2 for ; Mon, 16 Oct 2017 12:10:57 +0200 (CEST) From: Sylvie Boldo To: caml-list@inria.fr Message-ID: <70291de1-e1b1-cf9e-2da6-f5289c1a2c87@inria.fr> Date: Mon, 16 Oct 2017 12:10:52 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.3.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: fr-classic Content-Transfer-Encoding: 8bit X-Validation-by: sylvie.boldo@inria.fr Subject: [Caml-list] =?UTF-8?Q?JFLA_2018_=3A_dernier_appel_=C3=A0_communic?= =?UTF-8?Q?ations_et_extension_de_deadline?= [ This message is intentionally written in French. ] * Merci de faire circuler : dernier appel à communications * Les dates limites ont été étendues, d'une semaine pour l'article mais de seulement quelques jours pour le résumé. En particulier, le résumé est pour *ce mercredi 18 octobre*. JFLA'2018 (https://www.lri.fr/~sboldo/JFLA18/) Journées Francophones des Langages Applicatifs Banyuls-sur-Mer du 24 au 27 janvier 2018 Dates importantes ----------------- *18* octobre 2017 : soumission des résumés *30* octobre 2017 : soumission des articles 27 novembre 2017 : notification aux auteurs 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 ! 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 ê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=jfla2018 Notez que toute intention de soumission doit être annoncée au plus tard le 16 octobre par le dépôt d'un résumé sur Easychair. date limite de soumission des résumés : 18 octobre 2017 date limite de soumission des articles : 30 octobre 2017 Comité de programme ------------------- Sylvie Boldo Inria Saclay-Île de France (présidente) Nicolas Magaud Université de Strasbourg (vice-président) Clara Bertolissi LIF-Universite Aix-Marseille Timothy Bourke Inria Paris, ENS Benjamin Canou OCamlPro Zaynah Dargaye CEA LIST Alain Frisch LexiFi Frédéric Gava Université de Paris-Est Alain Giorgetti FEMTO-ST, Université de Franche-Comté Kim Nguyen Université Paris-Sud François Pottier Inria Paris Yann Régis-Gianas IRIF Laurence Rideau Inria Sophia Antipolis - Méditerranée -- Sylvie Boldo, projet Toccata, Inria Saclay - Île-de-France PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex