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 c5ff346549e7 (Postfix) with ESMTP id 711A82DF5 for ; Fri, 16 Mar 2018 08:26:24 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,313,1517871600"; d="scan'208";a="318310768" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Mar 2018 09:15:55 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 395AB82419; Fri, 16 Mar 2018 09:15:55 +0100 (CET) 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 203518239C for ; Fri, 16 Mar 2018 09:15:51 +0100 (CET) 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@ext.lri.fr IronPort-PHdr: =?us-ascii?q?9a23=3AMiGGYhx/Xv3L5uXXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+0RIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?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?Zx80e71TuA0Q3Y9/tKLloulaXBLp4s2r4wmYQXsUTEBiL5hkr3jLOMekUg4Oio?= =?us-ascii?q?6v7rYrv8ppOENo90jB/xMrg2l8CiH+g1NhICU3WZ9Om8zrHv4E30TK9Fg/Eul6?= =?us-ascii?q?nWqpHaJcAVpq6jBA9V154u5RKhADi81tQUhGcKLFJfeBKGlIjpJ1bOIOj4Dfih?= =?us-ascii?q?mViikDZrx/TCPr3gGJrNMmLDn6n6cLZ58U5cyRA/zd5F555MELEOPOrzWlPttN?= =?us-ascii?q?zfFhI2Lxa7w+PjCNlk0oMeWHmPArOCPaPJsV6I4/ovLPOWaI8Uvjb9Mfkl6OT0?= =?us-ascii?q?gX83g19ONZWuiLwcYXW8VtFvIkGYZ3WkptYaDS9etQM7SKnuiUaeeT9VfXe7Ga?= =?us-ascii?q?wmsGIVEoWjWKXOT4boq7yb3TynGYVWayhoC1SIEH70bYjMD9UBYSTXCc97kycY?= =?us-ascii?q?UqChRskP1BWqtQbm0bdPKvDVvCMC48GwnONp7vHewElhvQd/CN6QhiTUFzktzz?= =?us-ascii?q?E4AgQu1aU6mnRTj1KK0Kx2mftdRY5X/fIPXB1obceAndw/MMj7X0f6RvnMUEyv?= =?us-ascii?q?EoeiGzB3QMhjm4ZTMXY4IM2ri1X45wTvA7IRkOXRVpEk7uTYxXm3Kdwvk3s=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D1AQByfKtahwQPr4FeHgEGDIQkEHGDR?= =?us-ascii?q?j+YEYMZlgoKH4FchksZBgY0FAECAQEBAQEBAQEBEgEBAQgNCQgoL4I4JAGCWxc?= =?us-ascii?q?PATYBDhocAgUWCwILAwIBAgFLDQgBAYUUBQqSF41UkBiCJoRug3iCBQWBDIQig?= =?us-ascii?q?hSDKIRhhk2CYQOYJgkHcIUPkT+FE4kthwCBKAI1gXNNJ4MPgj4EjiuQHQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0D1AQByfKtahwQPr4FeHgEGDIQkEHGDRj+YEYMZlgoKH4F?= =?us-ascii?q?chksZBgY0FAECAQEBAQEBAQEBEgEBAQgNCQgoL4I4JAGCWxcPATYBDhocAgUWC?= =?us-ascii?q?wILAwIBAgFLDQgBAYUUBQqSF41UkBiCJoRug3iCBQWBDIQighSDKIRhhk2CYQO?= =?us-ascii?q?YJgkHcIUPkT+FE4kthwCBKAI1gXNNJ4MPgj4EjiuQHQEBAQ?= X-IronPort-AV: E=Sophos;i="5.48,313,1517871600"; d="scan'208";a="318310692" Received: from ext.lri.fr ([129.175.15.4]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Mar 2018 08:15:34 +0100 Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id 18AF340609 for ; Fri, 16 Mar 2018 08:15: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 qGMtu8XkwZun for ; Fri, 16 Mar 2018 08:15: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 060524034B for ; Fri, 16 Mar 2018 08:15:34 +0100 (CET) From: Jean-Christophe Filliatre To: Ocaml Mailing List Message-ID: <5AAB6F15.6010103@lri.fr> Date: Fri, 16 Mar 2018 08:15:33 +0100 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_-_Appel_=C3=A0_participation?= Reply-To: Jean-Christophe Filliatre X-Loop: caml-list@inria.fr X-Sequence: 16725 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: É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. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs