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 7D9B55D5 for ; Wed, 29 May 2019 07:34:44 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,526,1549926000"; d="scan'208";a="385164240" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 May 2019 09:34:43 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0DECF7ED69; Wed, 29 May 2019 09:34:43 +0200 (CEST) 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 F0FBB826EA for ; Wed, 29 May 2019 09:34:36 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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=3ASeoylBVd4yr6gmBZFlVfzzjLY6zV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbB2Ft8tkgFKBZ4jH8fUM07OQ7/m5HzVav93Y6SFKWacPfidNsd?= =?us-ascii?q?8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVv?= =?us-ascii?q?O+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sBjdutMLjYd8K6s9xQbFrmZMdu?= =?us-ascii?q?9L2W5mOFWfkgrm6Myt5pBj6SNQu/wg985ET6r3erkzQKJbAjo7LW07/dXnuhbf?= =?us-ascii?q?QwSB4HscSXgWnQFTAwfZ9hH6X4z+vTX8u+FgxSSVJ8z2TbQzWTS/86dmTQLjhS?= =?us-ascii?q?kbOzIl9mzcl9d9h7xHrh2/uxN/wpbUYICLO/p4YqPdZs4RSW5YUspMSyBNHoaw?= =?us-ascii?q?Yo0SBOQDIOlYtZHwqVsToxWgBgeiCu3gxTBUiXH5xqA6z/0hHBva0AA8Ed8Dsn?= =?us-ascii?q?LZp8j1OqcIVuC1ybHFwzHdYPxM3zfx8ZbFchA7ofGNRrJwbc3RyVEvFwzbk16e?= =?us-ascii?q?qY3lPzeR1uQMqWeb8/BgWvyygGMgrw9+vCKgxsE1hoTXhoIV0FHE9T5lwIYyPd?= =?us-ascii?q?24SFB0bcSkHptRsyGaM4p2Tdk+Q2Fypik30bkGuYS6fCQQxpQn3QfSZvqaeIaG?= =?us-ascii?q?5RLjUfyeITZ+hH99ZbK/gRey8VO8yu3mTMa4ylhKrjBDn9LRtX4NzwTe5tWZRv?= =?us-ascii?q?Z55EutxDSC2gDJ5u1ZIU04j7fXJ4Inz7UtjJQcq17DETXzmEjujK+ZaEEk+u+w?= =?us-ascii?q?5uTieLrmp5ucOJF7iwHiKKgunta/AeUiPggARWiX4eW81Lv98k3lWLhGk+M6n6?= =?us-ascii?q?3DvJzHJ8kWprS1DxJV34o59hqzEy+q0NECknkGKFJFdgiHj4/sO1zWJP73E+2w?= =?us-ascii?q?g1K1nDp1x/DGJLzhAo7RLnjEiLfhfahy51RcxgoyydBf45NUBasdIPLpRED8r9?= =?us-ascii?q?jYDgU4MwCuzebnEs1x1pkCVmKXHq+ZLKTSvEeU6e01JumMYJYZuDL8K/g++/7j?= =?us-ascii?q?lmQ5mF8Yfamxx5QbcnG4HvJ8I0WYe3XgmNkBEX1Z9jY5GcvhgViGGRtaZnKzWa?= =?us-ascii?q?10wjAgFMryBo7GQsWpgaed9Ca9BJxfIG5cXAOiC3DtIqeJUvFJQyKII9R9lSQE?= =?us-ascii?q?WPCPSosl1BiyrgKyn5hqJ+yR0S0CtIn/08B16qv9lBU29DVoFcm113uMCW9uyD?= =?us-ascii?q?BbDwQq1bxy9BQugmyI1rJ11rkBTYQKuqF5FzwiPJuZ9NRUTtD/XgWYIIWMQVei?= =?us-ascii?q?T8W6RzUrT5Q/2Y1WOhcvK5CZlhnGmhGSLfoQnr2PCoYz9/KO22LwYchnmS+fiP?= =?us-ascii?q?sRymI+S84KDlWIw7Zl/liBA5TI1UuDxf6n?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BgCAAtNe5chwoPr4FkHgEfBgeBToEoA?= =?us-ascii?q?oE9EVIyKINTQJkAlncJAQMBDB8QAQGBS4V/BwEENBMBAwEBBAEBAgEBAwETAQE?= =?us-ascii?q?BCgsJCBsOIwyCOikBgnkXRgEoHAImAl8NCAEBgx4BggoPjRKMb457gS+KOoEMJ?= =?us-ascii?q?gICjWeBESeELYZKglgEqFwHAgeBJGSGOIxfIYMGiVuJboQCj3WPIIFmgXhNJ4M?= =?us-ascii?q?5CIIeAoUUiRc9NE2OWQEB?= X-IPAS-Result: =?us-ascii?q?A0BgCAAtNe5chwoPr4FkHgEfBgeBToEoAoE9EVIyKINTQJk?= =?us-ascii?q?AlncJAQMBDB8QAQGBS4V/BwEENBMBAwEBBAEBAgEBAwETAQEBCgsJCBsOIwyCO?= =?us-ascii?q?ikBgnkXRgEoHAImAl8NCAEBgx4BggoPjRKMb457gS+KOoEMJgICjWeBESeELYZ?= =?us-ascii?q?KglgEqFwHAgeBJGSGOIxfIYMGiVuJboQCj3WPIIFmgXhNJ4M5CIIeAoUUiRc9N?= =?us-ascii?q?E2OWQEB?= X-IronPort-AV: E=Sophos;i="5.60,526,1549926000"; d="scan'208";a="307533035" X-MGA-submission: =?us-ascii?q?MDGCiRz+bs5SD73y+haH2b23VPeYK5Ac6ksWlX?= =?us-ascii?q?tt/llfWTdwLLi1qocBAm33ZF51/J1dooze2E6ppKVCZL3BFUEzNJHUoV?= =?us-ascii?q?yW1bYVoYSdcNSqj9BFjaMxPTK3lRmAXscFg2bjjPaGJAYvSvm1YNAe5o?= =?us-ascii?q?9H72LJbpy5YpqGsWPha7LBrA=3D=3D?= Received: from mailext.lri.fr ([129.175.15.10]) by mail3-smtp-sop.national.inria.fr with SMTP; 29 May 2019 09:34:36 +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 4AF69C0502 for ; Wed, 29 May 2019 09:34:36 +0200 (CEST) From: Jean-Christophe Filliatre To: Ocaml Mailing List Openpgp: preference=signencrypt Autocrypt: addr=Jean-Christophe.Filliatre@lri.fr; prefer-encrypt=mutual; keydata= mQGiBEcLkuQRBAC74SLz4O27la4PAA+YzbGT1+H8LGPaQbCElLYDgkFAoeIOjpRGc12P+EWv hMRyWoDEmkqgoE8d8oDA/0YIO0OtahtZcSDtwR33GNPjywQGnoq8QhOSwq/HM3XlVT0mEcr5 epXuzRBVm6m3oUpTJUzW2WadpIyNVaiDV6jCP0GrtwCg6Tb9bTRwhBSoyiXfDUHpMQwK8rkE ALivOpuUFUII8B+0ggrZDGNp4evkieI/K4DWc4Exf0BDcrcULKWZkppXonOJBSmE1xm3Pk8q U6GZHit1JuTKyoovvs/mr3n29MgKCqeCVWloh7ugQXrv66T8ZWLy3SCg1c+GATD3oi718vce H/MwVaEKlUWPdwMrb2xUyESSF6irA/9RbMKdgkz7uqPvfzowgTLjEf+QUBRWWOVyjoWPHO0t vzLQOQ1M7ex4lfyLp823Ifo1GJW+SoylMs+T/AZR72i9KfGgEkoi+SEe1yoZCxyyCn/iU3z9 NkHOX3E2V5GuD9hDo3YJ4/5e74eZNqqzPFtehHUcZIGOc38jwwIHdfDXEbQ8SmVhbi1DaHJp c3RvcGhlIEZpbGxpYXRyZSA8amVhbi1jaHJpc3RvcGhlLmZpbGxpYXRyZUBscmkuZnI+iGAE ExECACAFAkcLkuQCGwMGCwkIBwMCBBUCCAMEFgIDAQIeAQIXgAAKCRCaOeJKoi0VZEyOAKCZ 7e5Y/UeTSeKNfUMUZYp6TFr5KwCdGTPTxscxnO5v7DKa3EpC+ucWoei5AQ0ERwuS5RAEAOls 5PrcR1AV551JDmKSEZ6cd+HT3sJwPxEdBcmDdQy44upb/Rbus5ezKV0P564Z+xfcZ7xPt8Pn Ra3hKOlf/ANFCdxnvecWndQvjF1ncR25mnfjoR1EspevMV4MbyMCgkfwqw85YwmPZAauNvOs n471Bo4Ra68tiOMH7pbwsqFjAAMFA/9jhc+yKAKoAnYgg9VWjPSCsVLKVhCrF0bf9hEIZjW0 jCddSdluNfJBLTHtzFVA0fCUR+hHW5Lo4Onf0bCmYvjDmilkqVXVES4ibrNi4Mf4FSqqvArk E2R7a6aqqPeLspAxFcn33CMoebmXsJA8faTHPXqjJfptWPKiiBBmQx617IhJBBgRAgAJBQJH C5LlAhsMAAoJEJo54kqiLRVkmY8AoKemR05qg0nfcA1VNHzB/M425MDiAKChAIyg0deOImcx RRSUdwyk55Rmiw== Message-ID: <48298e58-cb3d-e49f-b1b2-99e5eb4945df@lri.fr> Date: Wed, 29 May 2019 09:34:36 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.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_2019_-_dernier_appel_=C3=A0_participat?= =?UTF-8?Q?ion?= Reply-To: Jean-Christophe Filliatre X-Loop: caml-list@inria.fr X-Sequence: 17586 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: **Il reste des places et quelques jours pour s'inscrire** =C3=89COLE JEUNES CHERCHEURS EN PROGRAMMATION 2019 http://ejcp2019.icube.unistra.fr/ Strasbourg, 24-28 juin 2019 Organisateurs : Arthur Chargu=C3=A9raud, Jean-Christophe Filli=C3=A2tre, Nicolas Magaud, Julien Narboux L'=C3=89cole Jeunes Chercheurs en Programmation se d=C3=A9roulera cette a= nn=C3=A9e du 24 au 28 juin 2019, =C3=A0 Strasbourg. Cette =C3=A9cole s'adresse particu= li=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 - Julien Signoles Interpr=C3=A9tation abstraite et propri=C3=A9t=C3=A9s de programmes C - Charlotte Truchet Introduction =C3=A0 la programmation par contraintes - Julien Narboux Introduction =C3=A0 la preuve formelle avec Coq - Mathieu Acher Software Variability and Artificial Intelligence - Arthur Chargu=C3=A9raud Program Verification using CFML 2.0 Les frais d'inscription s'=C3=A9l=C3=A8vent =C3=A0 275 euros (incluant h=C3= =A9bergement en chambre simple, d=C3=A9jeuners, une visite, une r=C3=A9ception). Les inscriptions sont ouvertes. Les participants sont invit=C3=A9s =C3=A0 s'inscrire rapidement. La date limite d'inscription est fix=C3=A9e au 10 juin 2019. N'h=C3=A9sitez pas =C3=A0 diffuser ce message autour de vous.