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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A5C757FF97 for ; Wed, 9 Mar 2016 08:11:51 +0100 (CET) IronPort-PHdr: 9a23:9OeqaBwhtUtJ+0bXCy+O+j09IxM/srCxBDY+r6Qd0OoTIJqq85mqBkHD//Il1AaPBtWEraIZwLuH+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStGU35n8hrH60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jMvhDGSUOq73oYU2MZ2j5JGBSNuBrzW5O0tirhqsJ83jObNIv4V+Zndy6l6vJJRRbuzQwHLT8i7GbPisE4oqNfpBOouwZyi9r2bYiTcdF+ZKLGYdQCRWcHcMdVUy1IHpmxR48VDqwPJ7AL/MHGu1ISoE7mVkGXD+T1x2oN3yeu0A== Authentication-Results: mail2-smtp-roc.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@mx1.u-psud.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Jean-Christophe.Filliatre@lri.fr) identity=pra; client-ip=129.175.212.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="Jean-Christophe.Filliatre@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Jean-Christophe.Filliatre@lri.fr) identity=mailfrom; client-ip=129.175.212.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="Jean-Christophe.Filliatre@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mx1.u-psud.fr) identity=helo; client-ip=129.175.212.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="postmaster@mx1.u-psud.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A6AQCHzN9Wk0DUr4FchAyDYqVoilKFJYQKHYJAhHY8EAEBAQEBAQEBEAEBAQEJCwkJIS+CLYInFw8BXxwCBSECEQJMDQgBAYggBZJkjTqPXY9ae4sVhgOBOgWHXI9TBYVgijuGe4VRjlgCN4FtTgSBUYo8AQEB X-IPAS-Result: A0A6AQCHzN9Wk0DUr4FchAyDYqVoilKFJYQKHYJAhHY8EAEBAQEBAQEBEAEBAQEJCwkJIS+CLYInFw8BXxwCBSECEQJMDQgBAYggBZJkjTqPXY9ae4sVhgOBOgWHXI9TBYVgijuGe4VRjlgCN4FtTgSBUYo8AQEB X-IronPort-AV: E=Sophos;i="5.24,310,1454972400"; d="scan'208";a="206732664" Received: from mx1.u-psud.fr ([129.175.212.64]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 09 Mar 2016 08:11:35 +0100 Received: from mx1.u-psud.fr (localhost [127.0.0.1]) by localhost (MTA) with SMTP id 19877303150 for ; Wed, 9 Mar 2016 08:11:35 +0100 (CET) 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 mx1.u-psud.fr (MTA) with ESMTPS id EFF003030A4 for ; Wed, 9 Mar 2016 08:11:34 +0100 (CET) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id E30E84042E for ; Wed, 9 Mar 2016 08:11:34 +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 h0oxi8-41Dzt for ; Wed, 9 Mar 2016 08:11:34 +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 D02394041B for ; Wed, 9 Mar 2016 08:11:34 +0100 (CET) From: Jean-Christophe Filliatre To: Ocaml Mailing List Message-ID: <56DFCCA6.10405@lri.fr> Date: Wed, 9 Mar 2016 08:11:34 +0100 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_-_Appel_=C3=A0_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 13 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.