From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 1A49F8245E for ; Fri, 1 Jun 2018 16:34:30 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Jean-Christophe.Filliatre@lri.fr; spf=Pass smtp.mailfrom=Jean-Christophe.Filliatre@lri.fr; spf=None smtp.helo=postmaster@mailext.lri.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.15.10; 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: Pass (mail2-smtp-roc.national.inria.fr: domain of Jean-Christophe.Filliatre@lri.fr designates 129.175.15.10 as permitted sender) identity=mailfrom; client-ip=129.175.15.10; 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; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailext.lri.fr) identity=helo; client-ip=129.175.15.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="postmaster@mailext.lri.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A43hGEBw46BGjpmzXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2usfIJqq85mqBkHD//Il1AaPAd2Graocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HTbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiS?= =?us-ascii?q?cIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CRWRPQ9hfWS9PDIyy?= =?us-ascii?q?YIQAE+UPMP1Er4T+vVQCsQeyCAeuCe7p1zRGhmX23ao/0+k5FQ/JwhYvH9QXvH?= =?us-ascii?q?nKrNX1LqYSUfupzKnP1TXDb+1Z0ir95ojJdhAhpfCMUqhsccrL10YkCgTIgFGO?= =?us-ascii?q?poP/OTOZz/oAs2iB7+phTuKvl2knqxlxojex3MsiiojJhoYRylDF7yp53Jw1Ks?= =?us-ascii?q?OjRU5/e96kEYFcty+AN4ZvRM4pXm9muCE/yrIcuJ67ejAHyI87yB7edfOHdZSH?= =?us-ascii?q?7Qz4VOmNJjd4gnxldKi4hxao/kitzPD3WMqs0FtSsyZJjN3BumoQ2xHR6sWLUO?= =?us-ascii?q?Zx80e71TqSywzf8vxILV4wmKbBNpIswL49moAdvEjfBCP6hkv7ga6Qe0454Oan?= =?us-ascii?q?8f7nba/jppKEN497lAX+MqM2l8y6G+s4MwwOUHaU+OSgzrHj+Vf5QLRQgv04iK?= =?us-ascii?q?nVqJHaJcIFqa6lGwJZz5gv5hKlAzu70tkVnWMLIE9FdR6dkoTlJ0nCIPXiAve+?= =?us-ascii?q?h1Ssni1rx/fDPrD5BpvCMGLMkLH4cbtj605c0gszzctD55JTErEBIOz8VlXxut?= =?us-ascii?q?zZCh85Nw20zPz7CNVnyIwTQmaPArWYMK/Iv1+I/PojI/OQa48NpDb9N/8l6uby?= =?us-ascii?q?gnAjnF8debCl3Z8WaHCjAvRrOF6ZYHrpgtcZC2gGpAs+TOrwiF2DSzFffXiyX7?= =?us-ascii?q?hvrg08XaWtBILHDqWkgbiA2ijzOpxNeigSAVmJFTLsdp6Yc/YKciObZMF7xG8q?= =?us-ascii?q?T7+kHq0s3Bfrnw/gyqF7KfLU92U2tJbn1dFp/eCbwTM//DoxJMSH0nqRSHl0ky?= =?us-ascii?q?UmRjsy3alju0FVzk2Cl6Zi1a8LXedP7u9EB19pfaXXyPZ3XpWrAlqYL4W5DW2+?= =?us-ascii?q?S9DjOgkfC9c4wtsAeUF4S4emlBGF0TD4WuZJxYzOP4Q99+fn51a0P9x0myTCzq?= =?us-ascii?q?hngUN0GpISZ13jvbZ28k3oP6CMk0idkP/0J6EV3SrA5HvFyXCP+k9CAlZ9?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BAEAA7WBFbbQoPr4FcHQEBGAUBBgEGg?= =?us-ascii?q?ypUDn+DYD+UbJg9Cx+BWIR8GQcBBDQUAQIBAQEBAQEBAQETDQsJMCMMgjUkAYJ?= =?us-ascii?q?hFw8BNgEOGhwCBRYLAgsDAgECAUsNCAEBgyCBfw+LJoxljmKCHIRYg2iBYwWBC?= =?us-ascii?q?oc1ghOBD4ROhjKCVAKYbAcCBmyEepBohSKJc4cmgViBc00ngxCCK4hkhUCQVwE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0BAEAA7WBFbbQoPr4FcHQEBGAUBBgEGgypUDn+DYD+UbJg?= =?us-ascii?q?9Cx+BWIR8GQcBBDQUAQIBAQEBAQEBAQETDQsJMCMMgjUkAYJhFw8BNgEOGhwCB?= =?us-ascii?q?RYLAgsDAgECAUsNCAEBgyCBfw+LJoxljmKCHIRYg2iBYwWBCoc1ghOBD4ROhjK?= =?us-ascii?q?CVAKYbAcCBmyEepBohSKJc4cmgViBc00ngxCCK4hkhUCQVwEB?= X-IronPort-AV: E=Sophos;i="5.49,467,1520895600"; d="scan'208";a="329913020" Received: from mailext.lri.fr ([129.175.15.10]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Jun 2018 16:34:28 +0200 Received: from [129.175.30.236] (lri30-236.lri.fr [129.175.30.236]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mailext.lri.fr (Postfix) with ESMTPSA id 74CF0C0EE1 for ; Fri, 1 Jun 2018 16:34:28 +0200 (CEST) From: Jean-Christophe Filliatre To: Ocaml Mailing List Message-ID: <5B115974.3000602@lri.fr> Date: Fri, 1 Jun 2018 16:34:28 +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_2018_-_Dernier_appel_=C3=A0_participat?= =?UTF-8?Q?ion?= *Il reste quelques jours et quelques places pour s'inscrire* ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2018 https://ejcp2018.sciencesconf.org/ Lyon, 25-29 juin 2018 Organisateurs : Pierre Clairambault , Jean-Christophe Filliâtre, Laure Gonnord, Daniel Hirschkoff, Laetitia Lecot, Nathalie Revol L'École Jeunes Chercheurs en Programmation se déroulera cette année du 25 au 29 juin 2018, à Lyon. 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 - Virgile Prevosto Interprétation abstraite et propriétés de programmes C - Andrei Paskevich Deductive Program Verification with Why3 - Xavier Blanc Étude Empirique En Génie Logiciel - Application sur GitHub et Alexa - Charlotte Truchet Introduction à la programmation par contraintes - Julia Lawall Coccinelle: Practical program transformation for the Linux kernel - Mathieu Acher Software Variability and Artificial Intelligence Les frais d'inscription s'élèvent à 280 euros (incluant hébergement, repas, une visite, une réception) et 120 euros pour les lyonnais (sans hébergement). Les inscriptions sont ouvertes. Les participants sont invités à s'inscrire rapidement, notamment s'ils souhaitent bénéficier d'un hébergement en chambre simple. La date limite d'inscription est fixée au 11 juin 2018. N'hésitez pas à diffuser ce message autour de vous.