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 ESMTPS id 86A285D5 for ; Wed, 15 Jan 2020 01:52:22 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,320,1574118000"; d="scan'208";a="431379318" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jan 2020 02:52:21 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7367E7F3CE; Wed, 15 Jan 2020 02:52:21 +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 BA19D7ED1F; Wed, 15 Jan 2020 02:49:36 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tarmo@cs.ioc.ee; spf=None smtp.mailfrom=tarmo@cs.ioc.ee; spf=None smtp.helo=postmaster@smtp2.ioc.ee IronPort-PHdr: =?us-ascii?q?9a23=3AnFw9wBBmc5UwMwT4oUyzUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPTyrsbcNUDSrc9gkEXOFd2Cra4d16yO6eu7BiRAuc/H7ClZNsQUFlcsso?= =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?buv6FZTPgMupyuu854PcYxlShDq6fLh+MAi6oR/eu8ULjoZuMLo9xgXGrnZGee?= =?us-ascii?q?ld2GdkKU6Okxrm6cq84ZBu/z5Mt/498sJLTLn3cbk/QbFEFjotLno75NfstRnN?= =?us-ascii?q?TAuP4mUTX2ALmRdWAAbL8Q/3UI7pviT1quRy1i+aPdbrTb8vQjSt871rSB7zhy?= =?us-ascii?q?gZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5uy?= =?us-ascii?q?YYUPEeQPIOVWoIbhqFUBtha+GQuhCfnzxjNUmnP6w6s32PkhHwHc2wwgGsoDvm?= =?us-ascii?q?rOo9XvMacSVv2+w6fVzTXYc/NZwzP96JXVeR0mvfGDR6hwcc/WyUQ0CwzFlU+c?= =?us-ascii?q?qY3iPzyJzOgCrXaU4vNmWOmyhWAnrARxrSKuxscqkoTGmJgaykvE9CplwIY6P9?= =?us-ascii?q?y4SFRhbd6jCptQuCeXPJZ1TMM6W2xkpSI3x7MctZO0YCQG0ooryh7CZ/CdboSF?= =?us-ascii?q?5hbuWP6MLTp4in9pYrayiwio/US9xeDxVdO43EtUoidElNTHq2oD2AbJ6sedT/?= =?us-ascii?q?tw5keh1iiL1wDU8uxEOkU0lbbDK5I/2LIwl50TvljZEiDohkr6lK6WdkM69ei0?= =?us-ascii?q?8+nrf7Hrq5GGO4J7lg3yKLoil8yiDegiLwQDW2yW9fy51LL5/E35RLtKjucxkq?= =?us-ascii?q?ncqJ3aOd4UprS8Aw9SyYss9w2/Ay2n0NQfgXYLNkxKdwyfg4jzJ17OOOz4Deu4?= =?us-ascii?q?g1m0jDhk3fXGPrn4DpXJL3jDi6vhcK1m609czQoz1cpQ64hVCrEHOvLzW1X+uM?= =?us-ascii?q?bWDh8jKwa02froCM1h1oMCXmKCGrOWMKTLsVOR+u0vJ/SMa5QOtTbmK/kl4ubu?= =?us-ascii?q?gmUjlV8ce6mpx5oXZ2qiEvRoOUXKKUbr19wIFGNPugslUMTrjkeDWHhdfTL6VK?= =?us-ascii?q?Ulozo/FYiODIHZR4nrjqbFlCeyBZ5bYmRuClmXEnrsc8ODQfhIICudLsZJlj0f?= =?us-ascii?q?SaPnQI8o0RSjrhS80Lc0APDT/3gkvIjm05BI+vbPnBUvvWhoBt6Y1EmGVCd1mW?= =?us-ascii?q?hOSjJgj/M3mlB01lrWifswuPdfD9EGv6oYADd/DobVyqlBM/63XwvAetmTT1P/?= =?us-ascii?q?G4etGncwSdl3ztJcOx8gSeXntQjK2m+RO5FQl7GPA8VooLnZw2CrYcd6wDDL2f?= =?us-ascii?q?t51gV0co50LWSjw5VH2U3LHYeQyheSjOCrcq9a0SOfrGo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CcHAA3bx5e/8f7KMFmhDkXCBJsVSASj?= =?us-ascii?q?TqHR4IJgWiWQ4FnCQEDAS8MAQGBTIMIgggGBjQTAhABAQQBAQECAQIDBAFshTc?= =?us-ascii?q?Mgjsign0oHS5NEyFPRweCa0eCMwULrTuFSYNJgTcGgTaMMoIAgRE2gi0Cg1AEG?= =?us-ascii?q?oEUARIBhWsiBIstgiiIcGGYGIJCe4ZBjmUneJl1Ao5ZiFyULCJncTMaCDCDKE8?= =?us-ascii?q?YDVeQMYU/QYsmgjIBAQ?= X-IPAS-Result: =?us-ascii?q?A0CcHAA3bx5e/8f7KMFmhDkXCBJsVSASjTqHR4IJgWiWQ4F?= =?us-ascii?q?nCQEDAS8MAQGBTIMIgggGBjQTAhABAQQBAQECAQIDBAFshTcMgjsign0oHS5NE?= =?us-ascii?q?yFPRweCa0eCMwULrTuFSYNJgTcGgTaMMoIAgRE2gi0Cg1AEGoEUARIBhWsiBIs?= =?us-ascii?q?tgiiIcGGYGIJCe4ZBjmUneJl1Ao5ZiFyULCJncTMaCDCDKE8YDVeQMYU/QYsmg?= =?us-ascii?q?jIBAQ?= X-IronPort-AV: E=Sophos;i="5.70,320,1574118000"; d="scan'208";a="431379231" X-MGA-submission: =?us-ascii?q?MDGvdO1XC/TUSPemluoyI2wC1O+mLn7GDscmSw?= =?us-ascii?q?HQAApMsb9AS3XML/OrkE6LFCaSs/NYUNDPydwP2Oq4w/IAs8SbVQjpfA?= =?us-ascii?q?Ah7kmBpbINVxcAWGKxmcltwyLze2rp33qRP/MIFKp32FXgvtYu8mD90/?= =?us-ascii?q?bHegq4DAssx3IyK9TMwY4OXQ=3D=3D?= Received: from smtp2-out.ioc.ee (HELO smtp2.ioc.ee) ([193.40.251.199]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Jan 2020 02:49:36 +0100 Received: from cs.ioc.ee (nova-153-092-148-126.cpe.nova.is [153.92.148.126]) by smtp2.ioc.ee (Postfix) with ESMTPSA id 3B6A860436; Wed, 15 Jan 2020 03:49:35 +0200 (EET) Date: Wed, 15 Jan 2020 01:49:34 +0000 From: Tarmo Uustalu To: caml-list@inria.fr, coq-club@inria.fr, haskell@haskell.org, agda@lists.chalmers.se Message-ID: <20200115014934.2cabe511@cs.ioc.ee> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Validation-by: tarmo@cs.ioc.ee Subject: [Caml-list] First ETAPS Doctoral Dissertation Award, final call for nominations Reply-To: Tarmo Uustalu X-Loop: caml-list@inria.fr X-Sequence: 17955 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: First ETAPS Doctoral Dissertation Award ================================= The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation Award to promote and recognize outstanding dissertations in the research areas covered by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS). Doctoral dissertations are evaluated with respect to originality, relevance, and impact to the field, as well as the quality of writing. The award winner will receive a monetary prize and will be recognized at the ETAPS Banquet. Eligibility ----------- Eligible for the award is any PhD student whose doctoral dissertation is in the scope of the ETAPS conferences and who completed their doctoral degree at a European academic institution in the period from January 1st, 2019 to December 31st, 2019. Nominations ----------- Award candidates should be nominated by their supervisor. Members of the Award Committee are not allowed to nominate their own PhD students for the award. Nominations consist of a single PDF file (extension .pdf) containing: * name and email address of the candidate * a short curriculum vitae of the candidate * name and email address of the supervisor * an endorsement letter from the supervisor * the final version of the doctoral dissertation * institution and department that has awarded the doctorate * a document certifying that the doctoral degree was successfully completed within the eligibility period * a report from at least one examiner of the dissertation who is not affiliated with the candidate's institution All documents must be written in English. Nominations are welcome regardless of whether results that are part of the dissertation have been published at ETAPS. Nominations should be submitted via EasyChair: https://easychair.org/conferences/?conf=etapsdda2020 The deadline for nominations is January 19th, 2020. Award Committee --------------- Caterina Urban (chair) Amal Ahmed (representing ESOP) Dirk Beyer (representing TACAS) Andrew Pitts (representing FoSSaCS) Perdita Stevens (representing FASE) Marieke Huisman