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 C5B1C5D4 for ; Wed, 22 Apr 2020 12:59:47 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,414,1580770800"; d="scan'208";a="446367861" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Apr 2020 14:59:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5B48A7F498; Wed, 22 Apr 2020 14:59:32 +0200 (CEST) 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 04B527EFAB for ; Wed, 22 Apr 2020 14:59:16 +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 IronPort-PHdr: =?us-ascii?q?9a23=3AMEbG/RLW5Wvp6pFc6dmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeLvTxwZ3uMQTl6Ol3ixeRBMOHsq8C17Wd7vuocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTqwbal9IRi0ognctscbipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2UxLjlj?= =?us-ascii?q?sJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ3dKUMRMWCxbGo6y?= =?us-ascii?q?b5YBAfQCM+hWoYbyqEcBoxSlCAmwHePi0CNEimP40KA41ekqDAHI3BYnH9ILqH?= =?us-ascii?q?naqMv6O70UUeys0qTIzS/Db/JN2Tfh74jIahAhru+RVrxwcMrRzU0vFwLfgVWM?= =?us-ascii?q?s4zqIS6e2+MJvWeF9eVgU/ujhnAnqwFroziv3dssio7RhoIV1F/I7yV3wIcxJd?= =?us-ascii?q?28SU50e8KkEIFOuCyBM4t2WMIiT3tmuCYg07ALv4OwcisSyJk/2hLTdfiKf5KV?= =?us-ascii?q?7h/hVOudOyp0iXJ/dL6imxq/91WrxPfmWcmuyllKqzJIktnSuXAJ0Bze8s2HRe?= =?us-ascii?q?F8/kelxzmO2BzT5vtAIUAulKrXMZAhwqQompoSt0TMADP2lV3rgKOIckgo4PWk?= =?us-ascii?q?5ubnb7n8u5ORN5V4hhziPqg2n8ywG+U4MgwAX2iB/uS80aXu80nnT7pQiP06i7?= =?us-ascii?q?fUsJDAJcQava65HwhV0p4j6xmhFTuo0NUYnX0DLFJEYh2Hk5LpNE/VLfD8F/e/?= =?us-ascii?q?gk6gkDlxx/zeJL3uHo3NLmTfkLfmZbty91RTyA83zdxG45JUC6oBIO7oV0/qtN?= =?us-ascii?q?3YCwc5PBauz+bmDtV9zIIeVniVDq+XKqOB+WOPs8UkKuyILKocuTL8Lfdtw//1?= =?us-ascii?q?kTdtklYYeeyt3IALQHG+BPVvZUuDNynCmNAEREUHtwx7Z+zwiUaeViZTaj6cXq?= =?us-ascii?q?Y45zgnEo/uWaXOT4boq7yb3TynGYVWayZoC1SIEH70bYisX+0NLiyIdJwy2gcY?= =?us-ascii?q?XKSsHtdynSqlsxX3nv8+drKNpn8o8Kn73d0w3NX90Ako/GwmC96clW+XHTktwz?= =?us-ascii?q?E4AgQu1aU6mnRTj1eO1a8h3a5dHN1X6uNVFAMgNNjS1b4iUoGgakf6Zt6MDW2e?= =?us-ascii?q?bJCjCDA1QMg2xo9cZ1x8Xdu43EnO?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A3AgBoP6BelwoPr4FmhURoMoRIkGOEH?= =?us-ascii?q?pdkCgEDAQwvBAEBhn8HAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQEBCBYGhXQegjs?= =?us-ascii?q?pAYM2gQsCJgJfDQgBAYMign2hEI8GgTKFT4UqgQ4qjlOBESeEK4Zcgl8EshIHC?= =?us-ascii?q?IE6gQWXbSOCRwGNLIxthGiHAqEmgWmBeE0ngzZPGA2VSAKOMT+BAY8hAQE?= X-IPAS-Result: =?us-ascii?q?A0A3AgBoP6BelwoPr4FmhURoMoRIkGOEHpdkCgEDAQwvBAE?= =?us-ascii?q?Bhn8HAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQEBCBYGhXQegjspAYM2gQsCJgJfD?= =?us-ascii?q?QgBAYMign2hEI8GgTKFT4UqgQ4qjlOBESeEK4Zcgl8EshIHCIE6gQWXbSOCRwG?= =?us-ascii?q?NLIxthGiHAqEmgWmBeE0ngzZPGA2VSAKOMT+BAY8hAQE?= X-IronPort-AV: E=Sophos;i="5.72,414,1580770800"; d="scan'208";a="446367531" X-MGA-submission: =?us-ascii?q?MDFb9kcDKD6XotRblF3d6i7th+P4fi03Ad9mJB?= =?us-ascii?q?jJtnWhhFeomeQtMIJvbY87WfWscy6yk84hETt1UB9zHhPkDXpOj9JFXO?= =?us-ascii?q?WWQw84sYnUNzqTTfWXVQZ6OJFMhV4WgDjPMHxGnb8b5/GRR0U1FYwoNr?= =?us-ascii?q?R8IAZp9Ft0+/2Fq82QO2CusA=3D=3D?= Received: from mailext.lri.fr ([129.175.15.10]) by mail2-smtp-roc.national.inria.fr with SMTP; 22 Apr 2020 14:58:38 +0200 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 2FB03C0D9A for ; Wed, 22 Apr 2020 14:58:38 +0200 (CEST) From: Jean-Christophe Filliatre To: Ocaml Mailing List Message-ID: <824dbb4b-fc52-989f-2fbe-48ceec3c31ec@lri.fr> Date: Wed, 22 Apr 2020 14:58:37 +0200 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] EJCP 2020 - ANNULATION Reply-To: Jean-Christophe Filliatre X-Loop: caml-list@inria.fr X-Sequence: 18114 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: L'=C3=A9dition 2020 de l'=C3=89cole Jeunes Chercheurs en Programmation (E= JCP), qui devait avoir lieu =C3=A0 Nantes du 22 au 26 juin 2020, *est annul=C3=A9= e*. Autant que possible, l'EJCP sera reconduite en 2021, au m=C3=AAme endroit et avec les m=C3=AAmes intervenants. Merci =C3=A0 tous pour votre compr=C3=A9hension.