Return-Path: Delivered-To: cadet@irif.fr Received: from mailhub.math.univ-paris-diderot.fr ([81.194.30.253]) by mailhost.irif.fr (Dovecot) with LMTP id eTkNFEd+6WIVsQAAP9ZUWg for ; Tue, 02 Aug 2022 21:43:03 +0200 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 4F9E9AAE14 for ; Tue, 2 Aug 2022 21:43:03 +0200 (CEST) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr X-Spam-Flag: NO X-Spam-Score: -2.652 X-Spam-Level: X-Spam-Status: No, score=-2.652 tagged_above=-10000 required=5 tests=[BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.248, MAILING_LIST_MULTI=-1] autolearn=unavailable autolearn_force=no Authentication-Results: mailhub.math.univ-paris-diderot.fr (amavisd-new); dkim=fail (1024-bit key) reason="fail (message has been altered)" header.d=inria.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id dR_G6KrSLG-p for ; Tue, 2 Aug 2022 21:43:01 +0200 (CEST) Received: from mailhost.irif.fr (mailhost.irif.fr [81.194.30.244]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 93DBBAADEF for ; Tue, 2 Aug 2022 21:43:01 +0200 (CEST) Received: by mailhost.irif.fr (Postfix, from userid 1500) id 803F11512F3; Tue, 2 Aug 2022 21:43:01 +0200 (CEST) X-Sieve: Pigeonhole Sieve 0.4.15 (97b3da0) X-Sieve-Redirected-From: magniez@irif.fr Delivered-To: magniez@irif.fr Received: from mailhub.math.univ-paris-diderot.fr ([81.194.30.253]) by mailhost.irif.fr (Dovecot) with LMTP id KQGrHEJ+6WIzsQAAP9ZUWg for ; Tue, 02 Aug 2022 21:42:58 +0200 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 73534AAD81 for ; Tue, 2 Aug 2022 21:42:58 +0200 (CEST) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id C3HZwuyPVgaC for ; Tue, 2 Aug 2022 21:42:56 +0200 (CEST) Received: from korolev.univ-paris7.fr (korolev.univ-paris7.fr [194.254.61.138]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPS id 9808BAAD63 for ; Tue, 2 Aug 2022 21:42:56 +0200 (CEST) Received: from pneumatix.info.unicaen.fr (pneumatix.info.unicaen.fr [193.55.128.27]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/82085) with ESMTP id 272Jgu7s018508 for ; Tue, 2 Aug 2022 21:42:56 +0200 Received: from oftalmologix.info.unicaen.fr (oftalmologix.info.unicaen.fr [::ffff:10.130.0.29]) by pneumatix with ESMTP; Tue, 02 Aug 2022 21:41:57 +0200 id 0000000002C22038.0000000062E97E05.00006F19 Received: by oftalmologix.info.unicaen.fr (Postfix, from userid 108) id 7ADD3815824; Tue, 2 Aug 2022 21:41:57 +0200 (CEST) X-Original-To: gdr-im@gdr-im.fr Delivered-To: gdr-im@gdr-im.fr Received: by oftalmologix.info.unicaen.fr (Postfix, from userid 114) id 5B4C9816842; Tue, 2 Aug 2022 19:09:46 +0200 (CEST) Received: from pneumatix.info.unicaen.fr (pneumatix.info.unicaen.fr [10.130.0.27]) by oftalmologix.info.unicaen.fr (Postfix) with ESMTP id 9101282406E for ; Tue, 2 Aug 2022 19:09:45 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [::ffff:192.134.164.104]) by pneumatix with ESMTP; Tue, 02 Aug 2022 19:09:45 +0200 id 0000000002C14962.0000000062E95A59.000052BB DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=to:from:subject:message-id:date:mime-version: content-transfer-encoding; bh=qeSDSLMlxceJb+gCiafNUaZk9L9YykRmE+hZDWVSELY=; b=WTJdg42xYE4jxzAZ5YMzjnn9QCYsXS0el0H/7PQnU5bu7MmIALYqxJFf Jwodr1KTSNiHf3H4H5p377pP4hlTYQGeHhCD7NuNOZmmxC6QA1IwOjheK bb7FhfsXfN7AGpsTc0wbBpI4SAp+k+m5on+ezNPoNAdgxGGbyHEsQSDEA 8=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=francois.pottier@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="5.93,210,1654552800"; d="scan'208";a="20649298" Received: from alille-651-1-167-182.w90-1.abo.wanadoo.fr (HELO macbook-pro-5.home) ([90.1.226.182]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Aug 2022 15:13:27 +0200 To: gdr-im@gdr-im.fr From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: <9b9c5737-88c0-93fa-46fe-6c2af3e98b45@inria.fr> Date: Tue, 2 Aug 2022 15:13:25 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:68.0) Gecko/20100101 Thunderbird/68.12.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: fr Content-Transfer-Encoding: 8bit X-Validation-by: jean-michel.muller@ens-lyon.fr Subject: [gdr-im] EAPLS Best Dissertation Award (2021) Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= X-Loop: gdr-im@gdr-im.fr X-Sequence: 5463 Errors-To: gdr-im-owner@gdr-im.fr Precedence: list Precedence: bulk Sender: gdr-im-request@gdr-im.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: X-Greylist: Default is to whitelist mail, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [194.254.61.138]); Tue, 02 Aug 2022 21:42:56 +0200 (CEST) X-Miltered: at korolev with ID 62E97E40.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 62E97E40.002 from pneumatix.info.unicaen.fr/pneumatix.info.unicaen.fr/null/pneumatix.info.unicaen.fr/ X-j-chkmail-Score: MSGID : 62E97E40.002 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham Chers collègues, Cet appel concerne les thèses soutenues en 2021. Date limite: 30 août. ================================================= EAPLS Best Dissertation Award 2021: Call for Nominations ================================================= URL: http://eapls.org/pages/phd_award/ The European Association for Programming Languages and Systems (EAPLS) has established a Best Dissertation Award in the research area of programming languages and systems. The award will go to the PhD student who in the previous period has made the most original and influential contribution to the area. The purpose of the award is to draw attention to excellent work, to help the career of the student in question, and to promote the research field as a whole. -------------------------------- Eligibility -------------------------------- Eligible for the award are those who successfully defended their PhD * at an academic institution in Europe * in the field of Programming Languages and Systems * in the period from 1 January 2021 – 31 December 2021 -------------------------------- Nominations -------------------------------- Candidates for the award must be nominated by their supervisor. Nominating a candidate consists of submitting the nomination via https://easychair.org/my/conference?conf=eapls21. The nomination must consist of a single PDF file containing * a letter from the supervisor describing why the thesis should be considered for the award; * a report from an independent researcher who has acted as examiner of the thesis at its defense; and * the thesis itself. The nominated theses will be evaluated with respect to originality and significance to the field, and (to a lesser degree) quality of writing. Where the thesis consists of a collection of papers, in assessing the quality of writing careful consideration will be given to the introduction and overall conclusion chapters of the thesis, as well as the quality of the individual papers and their consistent use of notation, concepts, etc. Questions can be directed to the PhD award chairs: Maribel Fernandez and Andreas Wortmann, at eapls21@easychair.org. -------------------------------- Procedure -------------------------------- The nominations will be evaluated and compared by an international committee of experts. The justification by the supervisor and the external report will play an important role in the evaluation. The final decision is made by the EAPLS board, based on the recommendation of the expert committee. Members of the expert committee and the EAPLS board are barred from nominating their own PhD students for the award. The award consists of a certificate announcing the winner of the EAPLS PhD award 2021 and the supervisor will receive a copy of this certificate. If possible, the certificate will be handed out ceremonially at a suitable occasion, for instance the ETAPS conference. In addition, the winner will be invited to submit a short video summarising the thesis work, which will be made available via the EAPLS website. Apart from the winner, no further ranking of nominees will be published. The decision of the expert committee is final and binding and will not be subject to discussion. -------------------------------- Important Dates -------------------------------- 30 August 2022: Deadline for nominations 1 December 2022: Announcement of the award winner -------------------------------- Expert Committee -------------------------------- The expert committee includes: Eerke Boiten (De Montfort University, UK) Stefano Crespi Reghizzi (Politecnico di Milano, IT) Kei Davis (Los Alamos National Laboratory, USA) Mariangiola Dezani-Ciancaglini (Dipartimento di Informatica Università di Torino, IT) Santiago Escobar (Universitat Politècnica de València, ES) Maurizio Gabbrielli (University of Bologna, IT) Sabine Glesner (TU Berlin, DE) Stefan Gruner (University of Pretoria, SA) Christoph Kirsch (University of Salzburg, AT) Jens Knoop (TU Vienna, AT) Greg Michaelson (Heriot-Watt University, UK) François Pottier (INRIA, FR) Matteo Pradella (Politecnico di Milano, IT) Ana Sokolova (University of Salzburg, AT)