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 56E8F2DF6 for ; Fri, 22 Mar 2019 16:30:31 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,256,1549926000"; d="scan'208";a="375340317" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Mar 2019 17:30:25 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A4A6E82665; Fri, 22 Mar 2019 17:30:25 +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 5B01D8249D for ; Fri, 22 Mar 2019 17:30:13 +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=3Adz7Rux1KeQP/UEoWsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIeLPad9pjvdHbS+e9qxAeQG9mCs7Qb0qGG7OjJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVmDaxe7F/IAi5oQjStMQdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LpwRRT2lC?= =?us-ascii?q?kIKSI28GDPisxxkq1bpg6hpwdiyILQeY2ZKeZycr/Ycd4cWGFPXNteVzZZD428?= =?us-ascii?q?coUBEekPM+hWoIbyu1QAogCzBRW1BO711jNEmnH70K883u88EQ/GxgsgH9cWvX?= =?us-ascii?q?rQstr6LqESXfmrwanI1zXDbuhW2Sv66IjQchAuv+yHU7JxccrVzUkvFhnKjkmK?= =?us-ascii?q?qYP7IjiY0eADvHaB4OpmTO6ilW4nqxtwoji02scsjZHJhoILxVze9St5wYI1Jd?= =?us-ascii?q?m5SEFhfd6kCoVfujqeN4tsQ8MuWW9ouDwjx7AApJW1ci8KyJE9yB7ebfyKa5WI?= =?us-ascii?q?4hTiVOaKPTd4nmhqdKixhxao90Wr1+7yVtGs3VpXsCZIlsPAum0P2hHT8MSLV/?= =?us-ascii?q?tw8l281TqT0Q3Y9/tKLloulaXBLp4s2r4wmYQXsUTEBiL2nV/5jK6Sdko69emo?= =?us-ascii?q?9/7rYrH8pp+dLYN0hBv+Prwvmsy5H+s4LhADU3WF9em4zrHv4E/0TbVQgvErkq?= =?us-ascii?q?TVqo3WKdgDqq68GQBV04Ij6xilDzeh1dQVhX0JI0xfdxKBloTkJVHOIOr5Dfek?= =?us-ascii?q?n1Ssly9rx/DYMbH7ApvNL3zDkLPgfbln905c0hQ8wMtb55JOC7ENOvzzWlXpuN?= =?us-ascii?q?zCEhA5KxC0w/rgCNhlyowRQ2ePAquAPKPWsF+I/f4vLvKXZI4VvTb9M+Iq6+Tv?= =?us-ascii?q?jX8/g18dfLOm0YEZaHCiTbxaJBC+anPphp8kGGYOvwwxBMjrk0HKBTVaYnL3W6?= =?us-ascii?q?Mn+hk6DpinBMHNXNb+rqaG2XKZE5RQI0tGEFGXDXDwd4jMdfYIbCObPtVs2mgm?= =?us-ascii?q?WLGnDqQhzxC1qAjiy7chAOvQ/iwRqYju/Nxv5qvdj0dhpnRPE82B3jTVHClPlW?= =?us-ascii?q?QSSmpzhfgn+B0v+hK4yaF9xsdgO5lW7vJNXB09MM6Oy/Z7Td7oCFuYIoW5DW2+?= =?us-ascii?q?S9DjOgkfC8oryo9cZ1x8Xdu43EiagniaRoQNnrnOP6Qat6LR23+oeZR4wnfC2b?= =?us-ascii?q?k9yV08Q41BLz/+iw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BLBAARDZVcbQoPr4FjHgEMAQaBZYJoE?= =?us-ascii?q?YEDJ4NOQJUZCIQCllYPH4FYiA0HAQQ0EgEBAwEBCQEDAQEBEw0LCQYdDiMMgjo?= =?us-ascii?q?pAYJ5F0YBKBwCJgJfDQgBAYMeAYF1D41SjG6OeIEvijGBCySNSIERJwyEIYZKg?= =?us-ascii?q?lcDpQ0HAgeBGYZDi08fgl2IRohZg0SNVo1KgWSBd00ngzkIghmFFIkWPjRMjjM?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0BLBAARDZVcbQoPr4FjHgEMAQaBZYJoEYEDJ4NOQJUZCIQ?= =?us-ascii?q?CllYPH4FYiA0HAQQ0EgEBAwEBCQEDAQEBEw0LCQYdDiMMgjopAYJ5F0YBKBwCJ?= =?us-ascii?q?gJfDQgBAYMeAYF1D41SjG6OeIEvijGBCySNSIERJwyEIYZKglcDpQ0HAgeBGYZ?= =?us-ascii?q?Di08fgl2IRohZg0SNVo1KgWSBd00ngzkIghmFFIkWPjRMjjMBAQ?= X-IronPort-AV: E=Sophos;i="5.60,256,1549926000"; d="scan'208";a="375340150" X-MGA-submission: =?us-ascii?q?MDHJhK6+QsYG36az13a3Ob1qg4wvwSQaxu97ck?= =?us-ascii?q?+45EhmRUG9+XhEYWBY4zKttuQRULuQCp1JpahitaV8aNdMJLBc4lYd0N?= =?us-ascii?q?+b9mUu7HwgrzBBFufJv0WwCpKhpouebL5YO0y0X37wTwrWoD0J7airAj?= =?us-ascii?q?s2bws58ge5+xjHPJCkD448CA=3D=3D?= Received: from mailext.lri.fr ([129.175.15.10]) by mail2-smtp-roc.national.inria.fr with SMTP; 22 Mar 2019 17:30:11 +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 27520C1319 for ; Fri, 22 Mar 2019 17:30:11 +0100 (CET) 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: <0cf14492-3908-89d3-dd00-fd36eb6eaf2c@lri.fr> Date: Fri, 22 Mar 2019 17:30:11 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.5.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: 17430 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.