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 448657EE87 for ; Tue, 19 Apr 2016 09:16:15 +0200 (CEST) IronPort-PHdr: 9a23:M5pBxhWcPHyJ8yh1r4nqYgiuc/TV8LGtZVwlr6E/grcLSJyIuqrYZxSAt8tkgFKBZ4jH8fUM07OQ6PCwHzJbqs/Y7DgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2DJVsTz2PkPftbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN4xxd7FTDSwnPmYp/4Wr8ECbFUrcrkcbB0Idmx9MSy3M7RX7WJi5lirhqqIp0yCfOYjyTKsocTWk9aZiDhHy3nQpLTk8pUPag8o1p6JBoQm9oAR/zsb6YYWRNfNiZK6VKfEXTGwEdcZLVjddBZu8Ys0hDu4FPO9EtYTVo0EP6xWkU1r/TNjzwyNF0yellZYx1P4sRESfhFQt 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: A0CPAQDC2hVXk0HUr4FdhAuDeKRqimWFP4QOHoJAhHA8EAEBAQEBAQEBEQEBAQEJCwkJIS+CLYInFw8BRRocAgUWCwILAwIBAgFLDQgBAYglBY4OjTqPXZIkfIsohgeCVgWHdJAaBYVzikuHBoVWjykCN4FtTwSBVYokAQEB X-IPAS-Result: A0CPAQDC2hVXk0HUr4FdhAuDeKRqimWFP4QOHoJAhHA8EAEBAQEBAQEBEQEBAQEJCwkJIS+CLYInFw8BRRocAgUWCwILAwIBAgFLDQgBAYglBY4OjTqPXZIkfIsohgeCVgWHdJAaBYVzikuHBoVWjykCN4FtTwSBVYokAQEB X-IronPort-AV: E=Sophos;i="5.24,505,1454972400"; d="scan'208";a="175009960" Received: from mx2.u-psud.fr ([129.175.212.65]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 19 Apr 2016 09:16:14 +0200 Received: from mx2.u-psud.fr (mx2 [127.0.0.1]) by localhost (MTA) with SMTP id 83735302F5F for ; Tue, 19 Apr 2016 09:16:14 +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 3F2EE302AB0 for ; Tue, 19 Apr 2016 09:16:14 +0200 (CEST) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id 1EB76400A9 for ; Tue, 19 Apr 2016 09:16:14 +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 LuijHv2lZVZT for ; Tue, 19 Apr 2016 09:16:14 +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 09FDE40093 for ; Tue, 19 Apr 2016 09:16:14 +0200 (CEST) From: Jean-Christophe Filliatre To: Ocaml Mailing List Message-ID: <5715DB3D.3010001@lri.fr> Date: Tue, 19 Apr 2016 09:16:13 +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_-_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.