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 639D35D4 for ; Fri, 21 Feb 2020 14:29:09 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,468,1574118000"; d="scan'208";a="437085877" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Feb 2020 15:29:08 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 681E67F42C; Fri, 21 Feb 2020 15:29:08 +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 ESMTP id 142607F42C for ; Fri, 21 Feb 2020 15:29:03 +0100 (CET) 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 IronPort-PHdr: =?us-ascii?q?9a23=3AgBIkwB9y8V8d8P9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?2+McTK2v8tzYMVDF4r011RmVBNmdu64P1bCempujcFJDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTWwbalxIRi5ognct9caipZ+J6gszRfEvnRHd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMOiUn+2/LlMN/kKNboAqgpxNhxY7UfJqVP+d6cq/EYN8WWXZNUsNXWidcAI2z?= =?us-ascii?q?cpEPAvIBM+hFsYfzpFUAohWxCgawC+3i0SNIhmbs0KEmz+gsHwPL0Qo9FNwOqn?= =?us-ascii?q?TUq9D1Ob8WX++r1qbIyyzPYu1W2Tfn6YjIaQwhofaUXbJwb8Xa1EkhFwLBjlWU?= =?us-ascii?q?qIzqJS+V1v4TvGOG6OduUfyghHQhqw1ovDWvxt0siojShoIJzVDE7SV5z5gvKd?= =?us-ascii?q?O4SU57ZdqkEJpKuCGGLYt5XNgvQ2VyuCY70LEGt4S7cTEMxZ86yRDfbPmHfJKJ?= =?us-ascii?q?4hLlTOuRJSx4iGxjeL6liRay606twfD/WMmsyFtGszRJn93WunwQ1RHe6tKLRu?= =?us-ascii?q?Z980u7xDqDywbe4fxeL08uj6rUMZshz6YwlpUNtUTDGTf7mEDsg6+XckUr5Oep?= =?us-ascii?q?6/j9brXivJ+cNpV4ig/kMqg2m8y/B/o3MhQWUmSG5+ix0Kfv8VD7TbhKlPE6j6?= =?us-ascii?q?nUvIrHKcgHvqK5BhVa0ocn6xaxFTem19EYkGEDIl1bYh2HiZHlNk/OIPDiDPe/?= =?us-ascii?q?mEiskDBzx/DGILLtGJXDLnnHkLflfLZy8VJcyBAtwt1E45JUELABLOj9Wk/rrN?= =?us-ascii?q?DYFAM2MxSow+b7D9Vwzp8RVniKAq+dKa/StV6I5vkzI+SXf48UuDP9K+A/6PL0?= =?us-ascii?q?jH85n0Udfaiz0pcNZnC4BKcuH0LMRnHlh9NJNG4Lugs4Q6TOiUaeGWpYbnO2Gq?= =?us-ascii?q?Y9/S0TCYS8DI6FSJr705Kb2yLuPJBfYCVtCkqNCmvvb4WJE9kNbCaTK9N7n3RQ?= =?us-ascii?q?d7WoTcoK1QuvrxP907pqaMTV/ikZvI752fBx/eyVmwtkpm88NNiUz2zYFzI8pW?= =?us-ascii?q?gPXTJjmfkn+RUhmGfG6rBxhrljLfIW/+lAAlU+L5+awfYoU4mjCDKERc+ATROd?= =?us-ascii?q?evvjBDgwStwrxNpeMUJnGpOslEKahnf4M/ouj7WOQacM3Ofc0nz2fpgvzn/H0K?= =?us-ascii?q?Qxkx8iWMoJO3f03qM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DuAgCY6E9elwoPr4FmhUMTVTKDfkCVC?= =?us-ascii?q?JdPCQEDAQwfEAQBAYFMhRwHAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQEBCBYGhWc?= =?us-ascii?q?MgjspAYMUF0YBKBwCJgJfDQgBAYMiAYJ7kXCMc48GgTKFSoUqBoEOKo4+gREnh?= =?us-ascii?q?C6GWIJeBLAWBwiBOX6HUI8OIo8LjCOER5MlknOBaYF6TSeDOU8YDY41AoUXiRh?= =?us-ascii?q?AgQGObwEB?= X-IPAS-Result: =?us-ascii?q?A0DuAgCY6E9elwoPr4FmhUMTVTKDfkCVCJdPCQEDAQwfEAQ?= =?us-ascii?q?BAYFMhRwHAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQEBCBYGhWcMgjspAYMUF0YBK?= =?us-ascii?q?BwCJgJfDQgBAYMiAYJ7kXCMc48GgTKFSoUqBoEOKo4+gREnhC6GWIJeBLAWBwi?= =?us-ascii?q?BOX6HUI8OIo8LjCOER5MlknOBaYF6TSeDOU8YDY41AoUXiRhAgQGObwEB?= X-IronPort-AV: E=Sophos;i="5.70,468,1574118000"; d="scan'208";a="437085810" X-MGA-submission: =?us-ascii?q?MDHpQSwMpLcGoFV2KhK16cEme7pakBmEuLeUtE?= =?us-ascii?q?LjUu280p221VEV62EerwHi7IfcXzo9eYNavJSbsT+fHCEMBK3TBPCbEY?= =?us-ascii?q?XhCGzjvSUV6yjYqzCCB+NVVZ6IAiPq9CVCzMy66COWWf2Mcjy6zXh5FW?= =?us-ascii?q?rx90+1J45F0yQvFp5+NwM7AQ=3D=3D?= Received: from mailext.lri.fr ([129.175.15.10]) by mail2-smtp-roc.national.inria.fr with SMTP; 21 Feb 2020 15:29:02 +0100 Received: from [129.175.15.10] (mailext.lri.fr [129.175.15.10]) (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 92E57C02F0 for ; Fri, 21 Feb 2020 15:29:02 +0100 (CET) From: Jean-Christophe Filliatre To: Ocaml Mailing List Message-ID: Date: Fri, 21 Feb 2020 15:29:02 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: fr Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] =?UTF-8?Q?EJCP_2020_-_Appel_=C3=A0_participation?= Reply-To: Jean-Christophe Filliatre X-Loop: caml-list@inria.fr X-Sequence: 18010 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: =C3=89COLE JEUNES CHERCHEURS EN PROGRAMMATION 2020 https://ejcp2020.ls2n.fr/ Nantes, 22-26 juin 2020 Organisateurs : H=C3=A9l=C3=A8ne Coulon, Beno=C3=AEt Delahaye, Jean-Chris= tophe Filli=C3=A2tre, Assia Mahboubi, Nicolas Tabareau, Charlotte Truchet L'=C3=89cole Jeunes Chercheurs en Programmation se d=C3=A9roulera cette a= nn=C3=A9e du 22 au 26 juin 2020, =C3=A0 Nantes. Cette =C3=A9cole s'adresse particuli=C3= =A8rement aux =C3=A9tudiants en premi=C3=A8re ann=C3=A9e de th=C3=A8se, mais les au= tres doctorants ou chercheurs sont =C3=A9galement les bienvenus. L'EJCP propose un parcours unique, m=C3=A9langeant les th=C3=A9matiques "Ing=C3=A9nierie Logicielle" et "Programmation et V=C3=A9rification". Cer= tains cours seront donn=C3=A9s en fran=C3=A7ais, d'autres en anglais. Le programme de l'=C3=A9cole est le suivant : - Julia Lawall Coccinelle: Practical program transformation for the Linux kernel - Andrei Paskevich Deductive Program Verification with Why3 - Xavier Blanc =C3=89tude Empirique En G=C3=A9nie Logiciel - Application sur GitHub = et Alexa - Virgile Prevosto Interpr=C3=A9tation abstraite et propri=C3=A9t=C3=A9s de programmes C - Charlotte Truchet Introduction =C3=A0 la programmation par contraintes - Assia Mahboubi Introduction =C3=A0 la preuve formelle avec Coq - Mathieu Acher Software Variability and Artificial Intelligence - Arthur Chargu=C3=A9raud V=C3=A9rification de Programme avec la Logique de S=C3=A9paration dan= s Coq Les frais d'inscription s'=C3=A9l=C3=A8vent =C3=A0 250 euros (incluant h=C3= =A9bergement, d=C3=A9jeuners, une visite, une r=C3=A9ception). Les inscriptions seront bient=C3=B4t ouvertes. N'h=C3=A9sitez pas =C3=A0 diffuser ce message autour de vous.