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 1927482355 for ; Mon, 27 Nov 2017 16:03:34 +0100 (CET) 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=3AwOxwmhG3sg498zj/ntYya51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76osSwAkXT6L1XgUPTWs2DsrQf1LqQ7viocFdDyKjCmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TXhpQIVTx72MA4w?= =?us-ascii?q?IuXuBqbTid623qa84c79eQJN0QGsZa1zIV2cqgHdsYFCmppmNKc8jBHOpndPU+?= =?us-ascii?q?VQ32JhY1yJyUWvrvys9YJupnwD88kq8NRNBP33?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AQAQArKBxabQQPr4FcFgYBAQEEAQEKA?= =?us-ascii?q?QGDPGZuFBODPEOZNZp7CiOKB0MUAQEBAQEBAQEBARINCwkGKi+COCKCWBcPAQU?= =?us-ascii?q?xASgcAiYCbAgBAYoeBQuIGY1WkBWCJ4sGIQWBD4IrggeBVYFpKYRLhB+CSYJjB?= =?us-ascii?q?Yo3mA+BBYEyhTuNGoV+hgeHSYx2iUSBOAI2gXIyGidKgimCXoF2AnaKJwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AQAQArKBxabQQPr4FcFgYBAQEEAQEKAQGDPGZuFBODPEO?= =?us-ascii?q?ZNZp7CiOKB0MUAQEBAQEBAQEBARINCwkGKi+COCKCWBcPAQUxASgcAiYCbAgBA?= =?us-ascii?q?YoeBQuIGY1WkBWCJ4sGIQWBD4IrggeBVYFpKYRLhB+CSYJjBYo3mA+BBYEyhTu?= =?us-ascii?q?NGoV+hgeHSYx2iUSBOAI2gXIyGidKgimCXoF2AnaKJwEBAQ?= X-IronPort-AV: E=Sophos;i="5.44,465,1505772000"; d="scan'208";a="246202554" Received: from ext.lri.fr ([129.175.15.4]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Nov 2017 16:03:33 +0100 Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id 2800E40B85 for ; Mon, 27 Nov 2017 16:03:33 +0100 (CET) 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 bl7XDhQFlQYc for ; Mon, 27 Nov 2017 16:03:33 +0100 (CET) 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 0F818405E1 for ; Mon, 27 Nov 2017 16:03:33 +0100 (CET) From: Sylvie Boldo To: caml-list@inria.fr Message-ID: <0f21e7e2-765e-aa01-4e93-f6bdc08eab27@inria.fr> Date: Mon, 27 Nov 2017 16:03:32 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.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_1er_appel_=C3=A0_participatio?= =?UTF-8?Q?n?= *** Appel à participation, merci de diffuser largement *** JFLA'2018 (https://www.lri.fr/~sboldo/JFLA18/) Journées Francophones des Langages Applicatifs Banyuls-sur-Mer du 24 au 27 janvier 2018 Les inscriptions aux JFLA 2018 sont désormais ouvertes : https://cloud.agoraevent.fr/Site/136702/3694/Event Ces journées 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. L'inscription est un forfait qui comprend notamment l'hébergement en pension complète sur le site des journées : - participant plein tarif, chambre single : 600 euros - étudiant : 300 euros - étudiant orateur : 0 euros Nous espérons que vous serez nombreux à participer à ces journées. Inscrivez-vous dès que possible ! En particulier, les étudiants orateurs sont invités à s'inscrire, même s'ils ne paient pas grâce à nos sponsors. Dates importantes ----------------- 10 janvier 2018 : date limite d'inscription aux journées 24 au 27 janvier 2018 : journées Cours invités ------------- * Arthur Charguéraud, Inria & ICube, Université de Strasbourg "Interactive Verification of Interactive Programs using CFML" * Emmanuel Chailloux (UPMC), Steven Varoumas (CNAM-UPMC) et Benoit Vaugon (Armadillo) "La programmation de micro-contrôleurs dans des langages de haut niveau " Exposés invités --------------- * Thomas Gazagnaire "MirageOS ou la quête d'un OS plus petit et plus sûr" * Stéphane Graham-Lengrand, CNRS, École Polytechnique, SRI International "Garantir l'intégrité et la provenance des données par typage, et application à la démonstration automatique modulaire et sans bugs" Articles acceptés ----------------- La liste des papiers acceptés est disponible sur https://www.lri.fr/~sboldo/JFLA18/programme.html Comité de programme ------------------- Sylvie Boldo Inria Saclay-Île de France, LRI (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