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 E45558012F for ; Mon, 15 May 2017 09:35:05 +0200 (CEST) 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@ext.lri.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.15.4; 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.15.4; 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@ext.lri.fr) identity=helo; client-ip=129.175.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="postmaster@ext.lri.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AfGcD4BVzKYz3pc8PUrP3U6zDnErV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBGHt8tkgFKBZ4jH8fUM07OQ6PG8HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/Xl8J+kqFVrhyvqBNw34Hab5qYNOZ9c6zHYd8WWWRMU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOhcsYbyvV0OoQKgCAmsHuPvyyRIhmPx3a0i0+QuDxzN0gwhH9IKtH?= =?us-ascii?q?TUrc/6NLsIUe+r0aLFyjHNYO1M1jf78YTFbBAhoeuNXbJrbcrRzlEvFwPbgVmK?= =?us-ascii?q?qYLlPjeV1uAMs2eB8+pgT/yghnUjqwFrozij3MksipPQi48T11vK+yJ5wIMvKt?= =?us-ascii?q?25Tk52ecCrEJ1Lty6EKYR2Q8MiQ31ytCY00L0Lv4OwcisSyJk/2hLTdfiKf5KV?= =?us-ascii?q?7h/hVOudOyp0iXJ/dL+wgRu57FKuxffmVsau1VZHtipFncfItnAKzxHc9MeGSu?= =?us-ascii?q?dn8kelwzaP1hrf6u9eIUwslKrbLYAuwqIom5YOr0jOGjX6lFj0gaKWbEko5+il?= =?us-ascii?q?5/7ob7n+o5+TLY50igXwMqQ0ncy/BPw1PAwQUGeB/+SwzaPu/U3jQLVLlf02jq?= =?us-ascii?q?7ZsIjaJcsFvKK3Aw5V0oIn6xa+FTimzM4YkmccIVJBYhKHjpLlO1/UIPzgF/ew?= =?us-ascii?q?n0yskCt3x/DBJrDuHo/CLn3HkLv4ebZ96lVcyBYowNBE55NUD6kBL+jpVk/wst?= =?us-ascii?q?zYFB45PBauz+bpEtUunr8ZDCiEC6qddafTqkOg5+Q1IuDKapVd7mC1DPMs4vqm?= =?us-ascii?q?qHY4nV4bcuGN3IALIjjsFf1jJwCdYGHwqtYHC2YD+AQkGr/EklqHBBxebnD3dK?= =?us-ascii?q?Im5yonD5qmAM/tR4SpgbWdxirzSr9bb2YDIVCWEGz0cJ2EVrEiaSaWI8Z9iDEs?= =?us-ascii?q?UaKgDYE7g0L9/DTmwqZqe7KHshYTsojugYB4?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ACAgDoWBlZbQQPr4FcGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBgypSEIQxRrFqgg8oixxAFwEBAQEBAQEBAQEBEg0LCQY?= =?us-ascii?q?qL4IzIoJWFw8BRRocAgUWCwILAwIBAgFLDQgBAYofBY9CjVWQC4IminiBC4cyh?= =?us-ascii?q?FeGOYJgBZ4KBWuGLI5YiCmGaZRBAiECgT5PJYUKUIF1iVMBAQE?= X-IPAS-Result: =?us-ascii?q?A0ACAgDoWBlZbQQPr4FcGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBgypSEIQxRrFqgg8oixxAFwEBAQEBAQEBAQEBEg0LCQYqL4IzIoJWFw8BR?= =?us-ascii?q?RocAgUWCwILAwIBAgFLDQgBAYofBY9CjVWQC4IminiBC4cyhFeGOYJgBZ4KBWu?= =?us-ascii?q?GLI5YiCmGaZRBAiECgT5PJYUKUIF1iVMBAQE?= X-IronPort-AV: E=Sophos;i="5.38,343,1491256800"; d="scan'208";a="223622821" 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 May 2017 09:35:05 +0200 Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id B5F1B40AE0 for ; Mon, 15 May 2017 09:35:04 +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 QLkdiwzcw0tC for ; Mon, 15 May 2017 09:35:04 +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 A2C3340AC3 for ; Mon, 15 May 2017 09:35:04 +0200 (CEST) From: Jean-Christophe Filliatre To: "caml-list@inria.fr >> Ocaml Mailing List" Message-ID: <59195A28.2090400@lri.fr> Date: Mon, 15 May 2017 09:35:04 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: [Caml-list] =?UTF-8?Q?EJCP_2017_-_dernier_appel_=C3=A0_participat?= =?UTF-8?Q?ion?= ** Il vous reste seulement quelques jours pour vous inscrire à l'EJCP 2017 ** ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2017 http://ejcp2017.enseeiht.fr/ Toulouse, 26-30 juin 2017. Organisateurs : Yamine Ait Ameur, Jean-Christophe Filliâtre, Aurélie Hurault, Meriem Ouderni, Neeraj Singh. L'École Jeunes Chercheurs en Programmation se déroulera cette année du 26 au 30 juin 2017, à Toulouse. 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. L'EJCP propose un parcours unique, mélangeant les thématiques "Ingénierie Logicielle" et "Programmation et Vérification". Certains cours seront donnés en français, d'autres en anglais. Le matériel pédagogique (supports de cours, transparents) sera en anglais. Certains cours seront associés à des travaux pratiques. Le programme de l'école est le suivant : - Stéphanie Delaune Verification of security protocols: from confidentiality to privacy - Matthieu Sozeau Introduction to Type Theory & Interactive Theorem Proving in Coq - Sébastien Mosser Domain-specific Languages: Why, and How-to - Sylvain Conchon Model Checking Modulo Theories with Cubicle - Frédéric Dadeau Model-Based Testing in Practice - Tomofumi Yuki Research in Compilers and Introduction to Loop Transformations - Andrei Paskevich Deductive Program Verification with Why3 - Bertrand Meyer Programmation et vérification avec Eiffel, AutoProof, AutoTest et SCOOP La date limite d'inscription est fixée au 19 mai 2017. N'hésitez pas à diffuser ce message autour de vous, notamment auprès des doctorants de 1ère année dans les thématiques de l'école.