From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id CCD5F5D3 for ; Wed, 10 Jul 2019 10:07:33 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,474,1557180000"; d="scan'208";a="391245333" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Jul 2019 12:07:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B34A4826E3; Wed, 10 Jul 2019 12:07:32 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1E1207ED69 for ; Wed, 10 Jul 2019 12:00:48 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=lea-zaynah.dargaye@cea.fr; spf=Pass smtp.mailfrom=lea-zaynah.dargaye@cea.fr; spf=None smtp.helo=postmaster@cirse-smtp-out.extra.cea.fr IronPort-PHdr: =?us-ascii?q?9a23=3A8Sg5jRTD4tRcrP9g1EDC2Gghftpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yZhSN2/xhgRfzUJnB7Loc0qyK6vqmBTJLu8/JmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQu6oR/eu8QXjoduNLs9wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMTMy7WPZhdFqjK9DvhyvpwFxzY3abo6bO/VxYqzTcMgGRWdCRMtdSzBND42+?= =?us-ascii?q?YoYJEuEPPfxYr474p1YWrhSxHwmtBOX1xT9Im3T72qk63Po7Hg3f3Q0vBdIPsH?= =?us-ascii?q?LOo9X1LqsdTPq6zLPHzTrZb/JZxyzw55TWfR87u/2MU6hwfNPXxEIyGQ3FiVCQ?= =?us-ascii?q?ppbkPzOTzukNsm6b7/BhVe21kWInpRtxriCxycg2kYnIhp4aylDe+iV42oY5P9?= =?us-ascii?q?q4SFR0YdOiDZBetDmaOpNrTs4sXW1kojs2x7wEtJKhYSQHzIorywTCZ/GIcIWE?= =?us-ascii?q?+g/vWeiPLTtimX5oebOyiwyv/UWk1OHwTNS43EhMoyFYiNfDrGoN2AbW6sWfSv?= =?us-ascii?q?ty4EOh2TGX2g/P6+FEO1s0mrTCJ546x74wioITvV3EHi/rhEX6lrGZd0o4+uiy?= =?us-ascii?q?8evreKnpqYGGOINuhAH+KLwims25AesmLggDR3WX9Oqi2LH54EH0QbdHgucrnq?= =?us-ascii?q?TdrpzWP9kXq6G6DgNN14Ys8Re/DzOo0NQCmnkHKUpIeBaZgIfzIl3PIer3DPe5?= =?us-ascii?q?g1u2kDdn3e3JMaf7ApXCNHfCkKnucK1h5EFC0gU/195f54hMBrEbPP3zQlPxtM?= =?us-ascii?q?DfDhIhLwO72ePnCNFk2oMaWGKPGbOZPbjJsV6I4+IvO/ODaJUUuDb7Mfgl5uTh?= =?us-ascii?q?gWU3mV8HLuGV2s4cYXW8W/BnOFmxYHz2g95HH31ZkBA5SbnYgUyEWD4bM3K/Vu?= =?us-ascii?q?cu7yA9AYLgAY7ZSYm8jZSK0S79EIcANTMOMUyFDXq9L9bMYPwLci/HepY9wAxB?= =?us-ascii?q?bqCoTsoa7T/rrBXzm+hsI+OS9DdK7cuyhugw3PXakFQJzRIxCs2c12+XSGQkzG?= =?us-ascii?q?gFTnk4xvIm+BEv+hK4yaF9xsdgO5lT6vdOCFZoPp/G1OE/ENXuQkfGY8vPRUa6?= =?us-ascii?q?WNzgCjw4CNwrkYcD?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D+CADstiVdh5TAp4RmHAEBARcBAQEFB?= =?us-ascii?q?AEBgVeBLgIBAQEBgUtUMCiDXECIe4lfgWKED4s7iW2BZwkBAwEMIwoCAQGFDgm?= =?us-ascii?q?BdhsHAQQ0EwEDAQEEAQECAQIDARMBAQEKCwkIKYVDDII6IoMBFw8BBTAqHAImA?= =?us-ascii?q?mwIAQGDHgGCCg+SK5trgTKFR4RugQwmAgEBAQEBAYtZghaBESeDKYEEgV0DARi?= =?us-ascii?q?BC4NGglgEjByeOgcCgTJpgW2Eao0pIYMZgQ2JDIpOiTOKZFqQJoFngXlNJ4M4C?= =?us-ascii?q?YJQAoUVg1aFPgM+ATEBgQeOXgEB?= X-IPAS-Result: =?us-ascii?q?A0D+CADstiVdh5TAp4RmHAEBARcBAQEFBAEBgVeBLgIBAQE?= =?us-ascii?q?BgUtUMCiDXECIe4lfgWKED4s7iW2BZwkBAwEMIwoCAQGFDgmBdhsHAQQ0EwEDA?= =?us-ascii?q?QEEAQECAQIDARMBAQEKCwkIKYVDDII6IoMBFw8BBTAqHAImAmwIAQGDHgGCCg+?= =?us-ascii?q?SK5trgTKFR4RugQwmAgEBAQEBAYtZghaBESeDKYEEgV0DARiBC4NGglgEjByeO?= =?us-ascii?q?gcCgTJpgW2Eao0pIYMZgQ2JDIpOiTOKZFqQJoFngXlNJ4M4CYJQAoUVg1aFPgM?= =?us-ascii?q?+ATEBgQeOXgEB?= X-IronPort-AV: E=Sophos;i="5.63,474,1557180000"; d="scan'208";a="391243273" X-MGA-submission: =?us-ascii?q?MDHZ63+MF/wx3xtMGVBZ/B8rbhT6Y4wXP4u53b?= =?us-ascii?q?TIx/YkIN5f0qGz8R7MinIDQC2s84VakXnhRYAQat1uA2I41pzOJKmK+a?= =?us-ascii?q?a8WcGAYm6uagM5CrHnkoT08rwVrrU/xRsy0B+F54fas+ChBydQqEQrbB?= =?us-ascii?q?dNPX+ooy7nyPtojR1RDyobtA=3D=3D?= Received: from cirse-smtp-out.extra.cea.fr ([132.167.192.148]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Jul 2019 12:00:18 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id x6AA0Ipa030317 for ; Wed, 10 Jul 2019 12:00:18 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 34F1B2081BD for ; Wed, 10 Jul 2019 12:00:18 +0200 (CEST) Received: from muguet1-smtp-out.intra.cea.fr (muguet1-smtp-out.intra.cea.fr [132.166.192.12]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 2C72220706A for ; Wed, 10 Jul 2019 12:00:18 +0200 (CEST) Received: from [10.8.32.100] (is234909.intra.cea.fr [10.8.32.100]) by muguet1-sys.intra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id x6AA0IPO006229 for ; Wed, 10 Jul 2019 12:00:18 +0200 To: caml-list@inria.fr From: Zaynah Message-ID: <47e5f685-b001-c06e-3cba-b140839d7a56@cea.fr> Date: Wed, 10 Jul 2019 11:58:10 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.2 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US X-Validation-by: lea-zaynah.dargaye@cea.fr Subject: [Caml-list] =?UTF-8?Q?JFLA_2020_=3A_1er_appel_=C3=A0_communicatio?= =?UTF-8?Q?n?= Reply-To: Zaynah X-Loop: caml-list@inria.fr X-Sequence: 17678 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: [ This message is intentionally written in French. ] * Merci de faire circuler : premier appel à communications *                                        JFLA'2020 (http://jfla.inria.fr/jfla2020.html)             Journées Francophones des Langages Applicatifs             Gruissan -  du 29 janvier au 1 février 2020 Dates importantes ---------------------  1 octobre 2019  : soumission des résumés  8 octobre 2019  : soumission des articles   2 novembre 2019 : notification aux auteurs  Les trente et unièmes Journées Francophones des Langages  Applicatifs (JFLA) se tiendront à Gruissan, et plus précisément  à l'hôtel Hôtel Phoebus Garden & spa du mercredi 29 janvier  au samedi 1 février 2020. 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 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 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=jfla20 Notez que toute intention de soumission doit être annoncée au plus tard le 1er octobre 2019 par le dépôt d'un résumé sur Easychair. date limite de soumission des résumés  : 1er octobre 2019 date limite de soumission des articles : 8 octobre 2019