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 ESMTP id 690EE5D6 for ; Wed, 26 Sep 2018 14:17:19 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,306,1534802400"; d="scan'208";a="348141737" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Sep 2018 16:17:16 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4D976824E4; Wed, 26 Sep 2018 16:17:16 +0200 (CEST) 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 B69A181792 for ; Wed, 26 Sep 2018 16:16:44 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=magaud@unistra.fr; spf=Pass smtp.mailfrom=magaud@unistra.fr; spf=None smtp.helo=postmaster@mailhost.u-strasbg.fr IronPort-PHdr: =?us-ascii?q?9a23=3A1pC5ABX9OGcx8PPvK1SmNn2h5ZnV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxyEt8tkgFKBZ4jH8fUM07OQ7/i/HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9wIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/XlsN+g79VrhGvqRJhzIHaZ5qYNOZnfqPYYd8aRXZNU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOhAronyu1wOrR+kCgm3GejhzSVHhnDs0q0nzusqDAbL3Ak6ENIBqn?= =?us-ascii?q?vUscj6ObwPUeCzzanI1inDb+lM1jvn5ojIaAksrPeRVrx+dsrRzFMgFwLDjliI?= =?us-ascii?q?t4PqJSiV1+QRvGib9eVgVPivh3QgqwFrrTij3toshpDShoIJ0FDL7z55z506Jd?= =?us-ascii?q?GiRk57e9ipG4ZTuSGCL4Z6X80vT31ytCs4zrAKo4C3cDYUxJg92RLTdv+Kf5CV?= =?us-ascii?q?7h/tSOqdOzV1iXZ/dL6jnRq+7EatxvP6W8KpylhFtDBFncPJtn0V1xzc9MyHSv?= =?us-ascii?q?xl80ekwzmP1gTT6uFDIUAviarXMYMhzqcrlpoPq0TMBDT2l175jKOMeEUk4PCk?= =?us-ascii?q?6+XhYrr4up+RL5J4hw/iPqg0mMGyBf40PhYQU2SF4+iwyqDv8E7hTLVPlPI2k6?= =?us-ascii?q?3ZsJ7AJcQco660GwpV3Zws6xmlEjepzc8VnWQBLFJEYxKHk5LpNEvULPD2F/ez?= =?us-ascii?q?m06snytzx/DaIr3hBY3AIWTZn7fkebZx8kpcyAsozdBD/J9UEbEAIPfrWkDrrt?= =?us-ascii?q?DYDxk5Mxa1w+n9Etl92JkeCiqzBfqSOabW9FuJ/f4HIu+WZYZTtiyuBeIi4qvI?= =?us-ascii?q?jHQ+nVYGNYyg0pIKZDjsG/1pKliVSWfqg8wdC25MsBBoH7+is0GLTTMGPyX6ZK?= =?us-ascii?q?k7/DxuUNv3X7eGfZikhfm65An+G5RXYm5cDVXVSyX1cYSfR+0FLiyIcJY4zm40?= =?us-ascii?q?EIO5Qopk7imA8RfgwuM9fPfS+zYEr5ul2sInv7SOxyF3ziR9CoGm60/IT2xwmT?= =?us-ascii?q?lTFTo/3aR/pldhjErGyrRiiudSGppd/aERXw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DCAgCnk6tbh9reT4JaFgYBAQEEAQEHB?= =?us-ascii?q?AEBhEQDahKDXT+IdKYoCyOIYQcBBDQUAQMBAQIBAQEBARMBAQEIDQkIKSMMgjU?= =?us-ascii?q?ignQXRSocAiYChBMBggEPh0mMaI5lgS6Ed4UbBYELigeCAIESJx+EDYFaAQMYh?= =?us-ascii?q?EgxgiYCiEiUPwmBAoVBigGELIRNhjuLe4YtgmmBWYF2MxoIHxFlAYJCPYFzAoU?= =?us-ascii?q?Ng1aFPQOOMAEB?= X-IPAS-Result: =?us-ascii?q?A0DCAgCnk6tbh9reT4JaFgYBAQEEAQEHBAEBhEQDahKDXT+?= =?us-ascii?q?IdKYoCyOIYQcBBDQUAQMBAQIBAQEBARMBAQEIDQkIKSMMgjUignQXRSocAiYCh?= =?us-ascii?q?BMBggEPh0mMaI5lgS6Ed4UbBYELigeCAIESJx+EDYFaAQMYhEgxgiYCiEiUPwm?= =?us-ascii?q?BAoVBigGELIRNhjuLe4YtgmmBWYF2MxoIHxFlAYJCPYFzAoUNg1aFPQOOMAEB?= X-IronPort-AV: E=Sophos;i="5.54,306,1534802400"; d="scan'208";a="280228518" Received: from smr2.u-strasbg.fr (HELO mailhost.u-strasbg.fr) ([130.79.222.218]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Sep 2018 16:16:42 +0200 Received: from local-mr.u-strasbg.fr (lmr3.u-strasbg.fr [172.30.21.3]) by smr2.u-strasbg.fr (Postfix) with ESMTP id 5436C1E047D for ; Wed, 26 Sep 2018 16:16:40 +0200 (CEST) Received: from local-mr.u-strasbg.fr (localhost [127.0.0.1]) by antivirus (Postfix) with ESMTP id 3500D26D for ; Wed, 26 Sep 2018 16:16:40 +0200 (CEST) Received: from [172.29.17.166] (wifi-eduroam-0-132.u-strasbg.fr [130.79.0.132]) (Authenticated sender: magaud) by lmr3.u-strasbg.fr (Postfix) with ESMTPSA id 1DB8A274 for ; Wed, 26 Sep 2018 16:16:39 +0200 (CEST) From: Nicolas Magaud Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-Id: <745D369C-D95F-4A5A-AD37-5BC528E34AA9@unistra.fr> Date: Wed, 26 Sep 2018 16:16:39 +0200 To: caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Virus-Scanned: ClamAV using ClamSMTP X-Validation-by: magaud@unistra.fr Subject: [Caml-list] =?UTF-8?Q?JFLA_2019_=3A_second_appel_=C3=A0_communica?= =?UTF-8?Q?tions?= Reply-To: Nicolas Magaud X-Loop: caml-list@inria.fr X-Sequence: 17087 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 : second appel =C3=A0 communications * JFLA'2019 (https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/) Journ=C3=A9es Francophones des Langages Applicatifs Les Rousses dans le Jura du 30 janvier au 2 f=C3=A9vrier 2019=20 Dates importantes --------------------- 12 octobre 2018 : soumission des r=C3=A9sum=C3=A9s 19 octobre 2018 : soumission des articles 14 novembre 2018 : notification aux auteurs Les JFLA r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oriciens ; el= les ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la v=C3=A9rification de programmes, et des objets math=C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent =C3=AA= tre pris au sens large : nous souhaitons promouvoir les ponts entre les diff=C3=A9rentes th=C3=A9matiques. . Langages fonctionnels et applicatifs : s=C3=A9mantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. . Assistants de preuve : impl=C3=A9mentation, nouvelles tactiques, d=C3=A9veloppements pr=C3=A9sentant un int=C3=A9r=C3=AAt technique ou m= =C3=A9thodologique. . Logique, correspondance de Curry-Howard, r=C3=A9alisabilit=C3=A9, extract= ion de programmes, mod=C3=A8les. . Sp=C3=A9cification, prototypage, d=C3=A9veloppements formels d'algorithme= s. . V=C3=A9rification de programmes ou de mod=C3=A8les, m=C3=A9thode d=C3=A9d= uctive, interpr=C3=A9tation abstraite, raffinement. . Utilisation industrielle des langages fonctionnels et applicatifs, ou des m=C3=A9thodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont accept=C3=A9s, trois personnes s'ils sont rejet=C3=A9s. Les crit= iques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, m=C3=AAme en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Expos=C3=A9s invit=C3=A9s ------------------ . Ilaria Castellani, Inria Sophia-Antipolis M=C3=A9diterran=C3=A9e :=20 Les types de sessions (titre exact =C3=A0 pr=C3=A9cier) . Pierre Courtieu, CNAM Paris :=20 Is your robotic swarm certified? (titre exact =C3=A0 pr=C3=A9ciser) Cours invit=C3=A9s --------------- . Guillaume Melquiond, Inria Saclay :=20 Arithm=C3=A9tique des ordinateurs et preuves formelles (titre exact =C3=A0 = pr=C3=A9ciser) . Pierre-Marie P=C3=A9drot, Inria Rennes-Bretagne-Atlantique :=20 Des th=C3=A9ories des types qui font de l'effet (titre exact =C3=A0 pr=C3= =A9ciser) Soumissions -------------- Nous acceptons deux types de soumissions : . Article de recherche de seize pages au plus (bibliographie incluse), port= ant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est pas enti=C3=A8rement finalis=C3=A9. . Article court de huit pages au plus (bibliographie incluse), pour d=C3=A9= crire un prototype, faire la d=C3=A9monstration d'un outil, rechercher de l'aide pour r=C3=A9= soudre un probl=C3=A8me particulier, ou reparler d'un papier d=C3=A9j=C3=A0 publ= i=C3=A9. Dans tous les cas, la forme de l'article devra =C3=AAtre soign=C3=A9e. Les = articles s=C3=A9lectionn=C3=A9s seront publi=C3=A9s dans les actes de la conf=C3=A9r= ence, et les auteurs seront invit=C3=A9s =C3=A0 faire une pr=C3=A9sentation lors des jou= rn=C3=A9es, de vingt-cinq minutes pour les articles longs et de quinze minutes pour les courts. L'article peut =C3=AAtre r=C3=A9dig=C3=A9 en anglais, auquel cas la pr=C3= =A9sentation devra =C3=AAtre effectu=C3=A9e en fran=C3=A7ais. N=C3=A9anmoins, dans le cas o=C3= =B9 il s'agit d'une republication au format court d'un article d=C3=A9j=C3=A0 publi=C3=A9, la p= ublication doit =C3=AAtre en fran=C3=A7ais et la publication originale en anglais. Le style LaTeX Easychair doit =C3=AAtre respect=C3=A9 : https://easychair.org/publications/for_authors Les soumissions se font sur la page Easychair des JFLA : https://easychair.org/conferences/?conf=3Djfla2019 Notez que toute intention de soumission doit =C3=AAtre annonc=C3=A9e au plu= s tard le 12 octobre 2018 par le d=C3=A9p=C3=B4t d'un r=C3=A9sum=C3=A9 sur Easychair. date limite de soumission des r=C3=A9sum=C3=A9s : 12 octobre 2018 date limite de soumission des articles : 19 octobre 2018 --=20 Nicolas Magaud, ICube UMR 7357 CNRS Universit=C3=A9 de Strasbourg 300 bd S=C3=A9bastien Brant - CS 10413 - F-67412 Illkirch Cedex --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=