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 EB9B582355 for ; Tue, 9 Jan 2018 13:32:37 +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=3AT4sTpBcMNusOHxo43+EWbWw2lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu4bR7h7PlgxGXEQZ/co6odzbaO6ua4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahfL9+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM38HzZhNJzgqxVrh2uqABwzYHPbYGJN/dzZL/Rcc8USGdDWMtaSixPApm7?= =?us-ascii?q?b4sKF+cPIOZZr43jp1sPsxS1GBShBOTryjBVgX/9wKo30/8hEAHCwgwgHswBvG?= =?us-ascii?q?7Po9XyMKcdTOe1wbLJzTXFdfNW2C3y5JLGchA7uPyBW697f8TWyUkqDQzFj1OQ?= =?us-ascii?q?pJT/MDOa0eQNqXKU4PR+Ve2xjW4ntxt9oja1xss0jonJnIMVxkrK9SVjxos+ON?= =?us-ascii?q?62SFZjbNK5DpddszuWO5Z0T84iWW1kpSY3xqcJtJO9YSME0o4oxwTFZPyCa4WI?= =?us-ascii?q?4gzsVOKWITpgmn1kd66/iwy28Ui6y+3wTMe00ExSoipElNnDqGwN2gTO5sSZTv?= =?us-ascii?q?Zx5Fqt1DSP2gzJ9+1JIVo4mKXDJ54k2LEwl54TsUrZHi/xnUX7lLSWd0Ug+ui2?= =?us-ascii?q?6uTofK/qqYSbN49wlw7+Nb8jms25AeQiMwgBRXKX+eqm1LH75032XK1KjuEqkq?= =?us-ascii?q?neqJ3VOd4Upqu9AwNM1oYj6g2/Dyu93dQDnXgHKUpFdwidg4joPVHOOvH4Au2l?= =?us-ascii?q?j1Siijc4j8zBa7boB5GIKnnYjJ/ge6x84ghS0lkd19dasqlFDq8ALbrZXUv9s5?= =?us-ascii?q?SMFQ49LQ25hezgDNl6/oIYQ2OGRKGDZvCB+WSU7/4idrHfLLQevyzwfqAo?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdGQAntVRaYAQPr4FdFggBBgyDQGZ0F?= =?us-ascii?q?BODREOZAIMfmCYtiVNDFAEBAQEBAQEBAQEFGgsJMC+COCKCXBcPAQUxASgcAiY?= =?us-ascii?q?CbAgBAYotBQuRG41YkBaCJ4pPIQWBD4MRghWBV4FpKYROXIELgjqCS4JlBYpTm?= =?us-ascii?q?QyBDYEzhUqNN4YIhgYRh2qNNYseAjaBcjIaJ06CKoJggXYCd4p+AQEB?= X-IPAS-Result: =?us-ascii?q?A0BdGQAntVRaYAQPr4FdFggBBgyDQGZ0FBODREOZAIMfmCY?= =?us-ascii?q?tiVNDFAEBAQEBAQEBAQEFGgsJMC+COCKCXBcPAQUxASgcAiYCbAgBAYotBQuRG?= =?us-ascii?q?41YkBaCJ4pPIQWBD4MRghWBV4FpKYROXIELgjqCS4JlBYpTmQyBDYEzhUqNN4Y?= =?us-ascii?q?IhgYRh2qNNYseAjaBcjIaJ06CKoJggXYCd4p+AQEB?= X-IronPort-AV: E=Sophos;i="5.46,335,1511823600"; d="scan'208";a="250553213" Received: from ext.lri.fr ([129.175.15.4]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Jan 2018 13:32:37 +0100 Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id 2649C40BDA for ; Tue, 9 Jan 2018 13:14:36 +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 9leyUHAbwVrK for ; Tue, 9 Jan 2018 13:14:36 +0100 (CET) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id 1855B40BB5 for ; Tue, 9 Jan 2018 13:14:36 +0100 (CET) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by smtp-old.lri.fr (Postfix) with ESMTP id 13D89DF9CD for ; Tue, 9 Jan 2018 13:14:36 +0100 (CET) From: Sylvie Boldo To: caml-list@inria.fr Message-ID: <213eb82c-f3fc-8fa9-70f6-bc3e278dc58d@inria.fr> Date: Tue, 9 Jan 2018 13:14:35 +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_dernier_appel_=C3=A0_particip?= =?UTF-8?Q?ation?= *** 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 ouvertes jusqu'à ce mercredi 10 janvier : 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" Programme --------- Le programme est maintenant 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