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 7D18B5D4 for ; Mon, 13 May 2019 11:36:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,465,1549926000"; d="scan'208";a="382891955" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 May 2019 13:36:16 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id DAB58826D3; Mon, 13 May 2019 13:36:16 +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 99EC1826B1 for ; Mon, 13 May 2019 13:36:04 +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=3AjQ8QhBHIk+V7d2gvhXHktZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zr8qwAkXT6L1XgUPTWs2DsrQY0rOQ4vyrBTVIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfK5+IA+yoAjeucUbjpZuIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ky?= =?us-ascii?q?oMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWNtaWS5cDYOm?= =?us-ascii?q?d4YBD/cPM/hboYfzqVQBogexCwa3CePz0z9FnGP60bE03ukjFwzNwQwuH8gJsH?= =?us-ascii?q?TRtNj7MLkdXvqzzKXR0zjDb+lW2Tbm6IjUdRAhufGMUqxtesTRyEkvEwfFjlSK?= =?us-ascii?q?poz5JTOayPkGvm+f4eV+T+2vjXcrph9xoji1x8cskZXJhoUNylDE6yp12oY7Jd?= =?us-ascii?q?y8SE5/YN6rCodQtzuEOIZtRsMiWWBotDw0yr0coJO2ejUBxpogxx7acfOHco6I?= =?us-ascii?q?7wr+VOaXIDd4n25leKiliBqo/0ig0OvxXdS33lZStidJj8fAu3QX2xDO6MWKSu?= =?us-ascii?q?Fx8lqh1DqVygzf9udJKl0um6XBMZ4u2Lswm4ITsUvdGi/2n137jKqMeUUl/uin?= =?us-ascii?q?9evmYqn8qp+YLY90ixvyMqo0msCnAOQ4NBYBX3SD9OihyrHu+Vf1TKhIg/A2iK?= =?us-ascii?q?XVrZDXKd4GqqKlGwNV15ws6xe7DzeoytQYmnwHIUpBdh2ZlYfpPUjCLe74Dfel?= =?us-ascii?q?glSsiytrx/fePr3hHJrBNHjNkLblfbZ56k5T0hYzzcpB6J9PDrEBOvPzVlX/tN?= =?us-ascii?q?zCFhM5KRC7w/77CNVh0YMTQX6ADbWcMKPWqFOI4uMvI/KQZIIOozb8K/0l5+b0?= =?us-ascii?q?gnMjmF8de7Op3ZoNZ3yiEPRmORbRXX25pdwIFGNCmwM/SO3shxWmUCVPLyK5Vq?= =?us-ascii?q?c4ozU6E56ODIHZR4nrjqbXjwmhGZgDRG1PDBWnEW3pbJmDQ/cBIAyTJstgmyAe?= =?us-ascii?q?WPD1aYIo01SFtBX70KZgNurZvAMZsZbi3cRv6sXXjxB0+yYiXJfV6H2EU2whxj?= =?us-ascii?q?BAfDQxxq0q5BUlkg7Sg5g9uORREJlo390MVw47MZDGyOkqWdToW0TPZIXQEQr0?= =?us-ascii?q?cpCdGTg0C+kJ7ZoWeU8tSdG4j1bNxXjyWuJHp/mwHJUxt5nk8T3xKsJ6kiiU0a?= =?us-ascii?q?Agi1Q2Xo1LL2zgiLQtrwU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AiAwAbVtlcmAoPr4FkHQEBGAEGBQEHg?= =?us-ascii?q?U6BKIE/EVIyKINRQJh8lnAJAQMBDB8QAQGBS4UlBwEENBMBAwEBBAEBAgEBAwE?= =?us-ascii?q?TAQEBAQEICwsGGw4jDII6KQGCeRdGASgcAiYCXw0IAQGDHgGCCg+PMYxtjniBL?= =?us-ascii?q?4oqgQsmAgEBAQGNYYERJ4QthkqCWASnVQcCB4EhY4YgjDYhgniJNYk/g3WPE45?= =?us-ascii?q?YgWaBeE0ngzkIgh4ChROJFz00TY8yAQE?= X-IPAS-Result: =?us-ascii?q?A0AiAwAbVtlcmAoPr4FkHQEBGAEGBQEHgU6BKIE/EVIyKIN?= =?us-ascii?q?RQJh8lnAJAQMBDB8QAQGBS4UlBwEENBMBAwEBBAEBAgEBAwETAQEBAQEICwsGG?= =?us-ascii?q?w4jDII6KQGCeRdGASgcAiYCXw0IAQGDHgGCCg+PMYxtjniBL4oqgQsmAgEBAQG?= =?us-ascii?q?NYYERJ4QthkqCWASnVQcCB4EhY4YgjDYhgniJNYk/g3WPE45YgWaBeE0ngzkIg?= =?us-ascii?q?h4ChROJFz00TY8yAQE?= X-IronPort-AV: E=Sophos;i="5.60,465,1549926000"; d="scan'208";a="305809234" X-MGA-submission: =?us-ascii?q?MDEPjGz50CKJJ0QIq0rmfsGSTgxu3xgr4HFxL3?= =?us-ascii?q?Jda/Jp4+JYpHLgo4rxpEq5kf8+UhnmbWuVm7XeDsO0Tyr6LYoUZKt/wA?= =?us-ascii?q?h0dISuXJoGWmy3esEBdUQ+tZWe2hmP2wuk48TAL2bcFnrM3JiztiH4O/?= =?us-ascii?q?8V3WtI6rktZEhjck/ztlI4WQ=3D=3D?= Received: from mailext.lri.fr ([129.175.15.10]) by mail3-smtp-sop.national.inria.fr with SMTP; 13 May 2019 13:36:04 +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 0A093C029B for ; Mon, 13 May 2019 13:36:04 +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: Date: Mon, 13 May 2019 13:36:03 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 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_-_Appel_=C3=A0_participation?= Reply-To: Jean-Christophe Filliatre X-Loop: caml-list@inria.fr X-Sequence: 17546 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 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.