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 BC23C7F612 for ; Tue, 10 May 2016 10:42:52 +0200 (CEST) IronPort-PHdr: 9a23:b5BXHxLDvxNQb5xNtdmcpTZWNBhigK39O0sv0rFitYgVKvvxwZ3uMQTl6Ol3ixeRBMOAu6MC0rad6/yocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC3oLui6vqp9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVG67zeqB9Sb1DEBwnNXo07Yvlr1GVG0Oo7XIZVi0zmxtMAg7KpDX7RYu7+n/xv+95nS2bJtHeTLYuWD3k4b09GzHyjyJSFTMw9iT8itZxl75cuBKs7zJ+x4rVaZ2PObIqXK7Ue5YxRXBARdpWTyxMRK29a48OBvYbMM5ctYi7qUFY/kj2PhWlGO66kmwAvXTxx6Bvi+k= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Jean-Christophe.Filliatre@lri.fr; spf=None smtp.mailfrom=Jean-Christophe.Filliatre@lri.fr; spf=None smtp.helo=postmaster@mx2.u-psud.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Jean-Christophe.Filliatre@lri.fr) identity=pra; client-ip=129.175.212.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="Jean-Christophe.Filliatre@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Jean-Christophe.Filliatre@lri.fr) identity=mailfrom; client-ip=129.175.212.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="Jean-Christophe.Filliatre@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx2.u-psud.fr) identity=helo; client-ip=129.175.212.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="postmaster@mx2.u-psud.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AiAQCvnjFXkEHUr4FdhA2DeKNhim+FSIQTHoJAhGk8EAEBAQEBAQEBEQEBAQEJCwkJIS+CLYInFw8BRRocAgUWCwILAwIBAgFLDQgBAYgnBYoDjTuPYpEifIsphgaCWQWHfpApBYV5ilaHCIVYjzwCN4FtUASBV4l2AQEB X-IPAS-Result: A0AiAQCvnjFXkEHUr4FdhA2DeKNhim+FSIQTHoJAhGk8EAEBAQEBAQEBEQEBAQEJCwkJIS+CLYInFw8BRRocAgUWCwILAwIBAgFLDQgBAYgnBYoDjTuPYpEifIsphgaCWQWHfpApBYV5ilaHCIVYjzwCN4FtUASBV4l2AQEB X-IronPort-AV: E=Sophos;i="5.24,604,1454972400"; d="scan'208";a="177199403" Received: from mx2.u-psud.fr ([129.175.212.65]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 10 May 2016 10:42:52 +0200 Received: from mx2.u-psud.fr (mx2 [127.0.0.1]) by localhost (MTA) with SMTP id 1A105302882 for ; Tue, 10 May 2016 10:42:52 +0200 (CEST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx2.u-psud.fr (MTA) with ESMTPS id BC519302E30 for ; Tue, 10 May 2016 10:42:51 +0200 (CEST) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id A4F34404C1 for ; Tue, 10 May 2016 10:42:51 +0200 (CEST) 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 Z3A1I5JlV222 for ; Tue, 10 May 2016 10:42:51 +0200 (CEST) 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 916754042C for ; Tue, 10 May 2016 10:42:51 +0200 (CEST) From: Jean-Christophe Filliatre To: "caml-list@inria.fr >> Ocaml Mailing List" Message-ID: <57319F0B.8060707@lri.fr> Date: Tue, 10 May 2016 10:42:51 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: [Caml-list] =?UTF-8?Q?EJCP_2016_-_Dernier_appel_=C3=A0_participat?= =?UTF-8?Q?ion?= ** la date limite d'inscription a été repoussée au 20 mai ** EJCP 2016 - Appel à participation ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2016 Lille, 27 juin - 1er juillet 2016. Organisateurs: Laurence Duchien, Jean-Christophe Filliâtre, Christine Yvoz. L'École Jeunes Chercheurs en Programmation se déroulera cette année du 27 juin au 1er juillet, à Lille. Cette école s'adresse particulièrement aux étudiants en 1ère année de thèse, mais les autres doctorants ou chercheurs sont également les bienvenus. Les inscriptions sont ouvertes sur le site de l'école : http://ejcp2016.univ-lille1.fr/ Nous proposons cette année un parcours unique, mélangeant les thématiques "Ingénierie Logicielle" et "Programmation et Vérification". La plupart des cours seront associés à des travaux pratiques. Certains cours seront donnés en français, d'autres en anglais. Le matériel pédagogique (supports de cours, transparents) sera en anglais. Le programme de l'école est le suivant. |------+----------------------------------------------------------------------| | date | cours | |------+----------------------------------------------------------------------| | 27 | Verification of security protocols: from confidentiality to privacy | | | (Stéphanie Delaune) | |------+----------------------------------------------------------------------| | 28 | Short introductions to Type Theory and the Coq system | | | (Yves Bertot) | | | Domain-specific Languages: Why, and How-to | | | (Sébastien Mosser) | |------+----------------------------------------------------------------------| | 29 | Research in Compilers and Introduction to Loop Transformations | | | (Tomofumi Yuki) | | | Model Checking Modulo Theories with Cubicle | | | (Sylvain Conchon) | |------+----------------------------------------------------------------------| | 30 | Deductive Program Verification with Why3 | | | (Andrei Paskevich) | | | Model-Based Testing in Practice | | | (Frédéric Dadeau) | |------+----------------------------------------------------------------------| | 1 | Introduction to Empirical Software Engineering | | | (Martin Monperrus) | |------+----------------------------------------------------------------------| La date limite d'inscription est le *20 mai 2016*. N'hésitez surtout pas à diffuser ce message auprès du public potentiellement intéressé, en particulier les doctorants de 1ère année dans les thématiques de l'école.