From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 C5EB2823C2 for ; Fri, 15 Dec 2017 13:32:49 +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=3AGz5XzBNhxTgknvCUXXwl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lf7yrarrMEGX3/hxlliBBdydt6odzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlViDanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kHKjA37mLZhMJ+g61UvB2vqAdyw5LXbYyPKPZyYq3QcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoUSD+sBOfhYr4jjqFATsBa+Ag2sC/7oyjRVgXL2xq070+A/EQHHwgMsBckBsH?= =?us-ascii?q?PQrNroM6cfSuG1zK/SzTXCdfxawzn96JLRfx0nvPqCU7Vwcc/LxkkuEQPIlk+f?= =?us-ascii?q?qYPiPzOPzOsCrXab4PRmVeKzkWInpRtxriCrxsc2i4nFnIwVykrC+C5kw4g1Pc?= =?us-ascii?q?W1RFNlbdOgCpdcqiOXOotsTs8/Q2xkoik3x7sbspChZicK0o4oxxvHZvyHbYeI?= =?us-ascii?q?5hXjWf6PLjZ3mHJpYra/hwyz8US6xO38TNG40FdMriVbjtnBrm0B2wLX58SdV/?= =?us-ascii?q?dw/Ees1SyS2w3T8O1JLlg4la/BJJ4gxr4wmIATsUPGHiLug0X3jKuWdlsl+ue2?= =?us-ascii?q?8ejoebLmppuBOI9zkQz+M6Iumta+AesiKAQOUXKb9fym1LL/5U35XKlKjvoun6?= =?us-ascii?q?bFqp/aIMAbqre9Aw9UyYYj9w2yDyym0dQdhXkINkhJeBOBj4jzOlHBOur0Dfml?= =?us-ascii?q?gwfkrDA+zPnDOvjlA47RBnnFirboO7hnuGBGzw9m9sFb+ZNZQpsGJP70Ehvqpd?= =?us-ascii?q?jGDxJ/OQuwz+HPCdNn14pYV3jZUfzRC7/brVLdvrFnGOKLfoJA4Ds=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DvAAC6vzNabQQPr4FdFgcBAQUBCwGDP?= =?us-ascii?q?mZ0FBODP0OZKZs1CiOKF0MUAQEBAQEBAQEBARILDQkGKi+COCKCXBcPAQUxASg?= =?us-ascii?q?cAiYCbAgBAYomBQuLPo1XkBWCJ4puIQWBD4Jagg6BVoFpKYRMgWaCOoJJgmMFi?= =?us-ascii?q?k6YaIEIgTOFQ40thgOGEodcjRiJXYE5AjaBcTIaJ02CKYJfgXYCd4pGAQEB?= X-IPAS-Result: =?us-ascii?q?A0DvAAC6vzNabQQPr4FdFgcBAQUBCwGDPmZ0FBODP0OZKZs?= =?us-ascii?q?1CiOKF0MUAQEBAQEBAQEBARILDQkGKi+COCKCXBcPAQUxASgcAiYCbAgBAYomB?= =?us-ascii?q?QuLPo1XkBWCJ4puIQWBD4Jagg6BVoFpKYRMgWaCOoJJgmMFik6YaIEIgTOFQ40?= =?us-ascii?q?thgOGEodcjRiJXYE5AjaBcTIaJ02CKYJfgXYCd4pGAQEB?= X-IronPort-AV: E=Sophos;i="5.45,404,1508796000"; d="scan'208";a="248494370" Received: from ext.lri.fr ([129.175.15.4]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Dec 2017 13:32:49 +0100 Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id E9F4B4062E for ; Fri, 15 Dec 2017 13:32:48 +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 TLK_MO_pZtWR for ; Fri, 15 Dec 2017 13:32:48 +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 D2F60404B9 for ; Fri, 15 Dec 2017 13:32:48 +0100 (CET) From: Sylvie Boldo To: caml-list@inria.fr Message-ID: Date: Fri, 15 Dec 2017 13:32:47 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.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_2=C3=A8me_appel_=C3=A0_partic?= =?UTF-8?Q?ipation?= *** 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 Imperative Programs using CFML" * Steven Varoumas (CNAM-UPMC), Benoît Vaugon (Armadillo) et Emmmanuel Chailloux (UPMC) "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