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 8984A1E5 for ; Wed, 18 Mar 2020 15:29:07 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,568,1574118000"; d="scan'208";a="441000013" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Mar 2020 16:29:06 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2B02F7F449; Wed, 18 Mar 2020 16:29:06 +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 0F5257F345; Wed, 18 Mar 2020 16:09:29 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=eacsl.ls1@cs.tu-dortmund.de; spf=Pass smtp.mailfrom=eacsl.ls1@cs.tu-dortmund.de; spf=None smtp.helo=postmaster@postamt.cs.uni-dortmund.de IronPort-PHdr: =?us-ascii?q?9a23=3AphmOXBNPUeiEcr1Twdkl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/j5rarrMEGX3/hxlliBBdydt6sYzbON7Ou+CCQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vIxi6txjdu8cUjIdtK6s8zgbCr2dVde?= =?us-ascii?q?hR2W5nKlWfkgrm6Myt5pBj6SNQu/wg985ET6r3erkzQKJbAjo7LW07/dXnuhbf?= =?us-ascii?q?QwSB4HscSXgWnQFTAwfZ9hH6X4z+vTX8u+FgxSSVJ8z2TbQzWTS/86dmTQLjhS?= =?us-ascii?q?kbOzIl9mzcl9d9h7xHrh2/uxN/wpbUYICLO/p4YqPdZs4RSW5YUspMSyBNHoaw?= =?us-ascii?q?Yo0SBOQDIOlYtZHwqVsSohWxCgaiCv7hxDxWiHHxxqA6z/0hEQTa0AwgA94Crn?= =?us-ascii?q?LZp8j1OqcIVuC1ybHFwzrfYv5IxDnz7pXDfBc7rvGNWbJ8aNbcxlUzGAPCk1WQ?= =?us-ascii?q?r5DlNC6S2+sTqWeU8/FgVea1h24jsAF9vyOiyds3ioXTmoIV10nI+jh+wIYvOd?= =?us-ascii?q?24TVN7Ydi5H5dKqi6VKZJ7T8U/SG9roCY30qAKtYC/cSQQ1pgr2hzSZ+aIfoSS?= =?us-ascii?q?7R/vSP6dLSlliH9nYr6zmRm//Ei6xuD9VMS4yktGojZEn9TKq3sDzQbc6tKdRf?= =?us-ascii?q?t45kqh2SiA1wTU6uxcOUA0krHbK4I7zb41ipofq1jMHjTslEXriq+Wd1wo9fWv?= =?us-ascii?q?6+T9frXmo4KcN4lphQ3kL6shhNSzAeU+MgcQQ2iW4fmw2KPn8EHjXrlGk/87nr?= =?us-ascii?q?PWvZzAKskXura1AwpP3YYi7xa/AS2m0NMdnXQfMl1KYg6Ij5PtO13UJPD4Fuqz?= =?us-ascii?q?jk+wnzdw3fzGIqDhDozQIXjEirfhYbN961NayAUu19xQ+oxbBqkbIP3vQk/xqM?= =?us-ascii?q?DYDhghPgOoxObnEcxx2Z8aWWKSGaCUK7jSsF+N5uI3OeaAfo4VuDDnK/gk/fHi?= =?us-ascii?q?l3E5mUUFd6mzwZQXcGy4HuhhI0iBfXXjmNIBEWMTsgo6Tezqk0GCXCVIZ3eyWq?= =?us-ascii?q?I8/is0BJinDYfFXICtgaaO0D21Hp1MNSh6DQWwEXDtfp7MYPwMdy+UPs5qkXRQ?= =?us-ascii?q?SbimToY6kwqltBD3zaZmJen88TZeqY+m2N9v++jOkx10+TEiXOqH1GTYYkhfpU?= =?us-ascii?q?dAYjY32OVWqkd611Gfmfx1ivdDEZpX/KphWRx8KYOZw+tgF9XvXA6HctrfGwXu?= =?us-ascii?q?ecmvHTxkFoF5+NQJeUsoXoz61kmfjRrvOKcckvmwPLJx6rjVhimjLN0712uD2K?= =?us-ascii?q?47k1w7RMcJOWD03vcupTiWPJbAlgCir4jvcK0d2CDX82LanDiFpwdETUt8Vr/Z?= =?us-ascii?q?WG0Zag3aoIagvx6Qf/qVEb0idzB554uCJ69NMI27lVJdWP7mJJLVeCSsnWb1CR?= =?us-ascii?q?GS2raRaoasd2hPhCg=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AQAgCzOHJehygE2YFmHgELHIVlMhYUj?= =?us-ascii?q?RiGBoFsE5tTCQEDAQoBAS0CBAEBhlscBwEENBMCEAEBBQEBAQIBAgMEARMBAQE?= =?us-ascii?q?IDQkIKYVpgjspAYM/LkN+DhODJoJ8BJ8fkDiFSoJ7gXSBOIwughqBEScMAxABg?= =?us-ascii?q?h9sgQSDIoNogiwEgT0CAYwlEokSmTgGASGBKHaXFYJKhE6DWoQljDICixicGIM?= =?us-ascii?q?zAgQCBAUCFYFpgXpNJE8qAXOBTj4SGA1XjV4Cji9AM3yOWQEB?= X-IPAS-Result: =?us-ascii?q?A0AQAgCzOHJehygE2YFmHgELHIVlMhYUjRiGBoFsE5tTCQE?= =?us-ascii?q?DAQoBAS0CBAEBhlscBwEENBMCEAEBBQEBAQIBAgMEARMBAQEIDQkIKYVpgjspA?= =?us-ascii?q?YM/LkN+DhODJoJ8BJ8fkDiFSoJ7gXSBOIwughqBEScMAxABgh9sgQSDIoNogiw?= =?us-ascii?q?EgT0CAYwlEokSmTgGASGBKHaXFYJKhE6DWoQljDICixicGIMzAgQCBAUCFYFpg?= =?us-ascii?q?XpNJE8qAXOBTj4SGA1XjV4Cji9AM3yOWQEB?= X-IronPort-AV: E=Sophos;i="5.70,568,1574118000"; d="scan'208";a="440994937" X-MGA-submission: =?us-ascii?q?MDHvlm/66zvUrXKiJTuOlBWYKL+jSWBE7M9iJC?= =?us-ascii?q?EZWX/oDBEXT3+yFmOGpyRKOZoql/K82lQWezIJDTg86jVorgLRfSgH0p?= =?us-ascii?q?CjEBddBTtgtuRP5YMg94lui2BoMLlx0wrnffls8o2qKol3iLQGgiqB1D?= =?us-ascii?q?l2DMTd0cpf/7ID17o+tg1+Pg=3D=3D?= Received: from postamt.cs.uni-dortmund.de ([129.217.4.40]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Mar 2020 16:09:28 +0100 Received: from olympia-2.fritz.box (pD9F5436A.dip0.t-ipconnect.de [217.245.67.106]) (authenticated bits=0) by postamt.cs.uni-dortmund.de (8.12.6/8.12.6) with ESMTPSA id 02IF8GkV012983 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 18 Mar 2020 16:08:18 +0100 (MET) From: EACSL Mail-Account Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Date: Wed, 18 Mar 2020 16:08:18 +0100 Message-Id: To: Thomas Schwentick X-Mailer: Apple Mail (2.3445.104.11) X-Validation-by: thomas.schwentick@tu-dortmund.de Subject: [Caml-list] ACKERMANN AWARD 2020: Deadline for nominations postponed to July 1, 2020 Reply-To: EACSL Mail-Account X-Loop: caml-list@inria.fr X-Sequence: 18060 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: ACKERMANN AWARD 2020 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE *** Due to the current health situation, the submission deadline for = nominations has been postponed to July, 1. *** ----------------------------------------------------- PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1 January 2018 and 31 December 2019 are = eligible for nomination for the award. The new deadline for submission is 1 July 2020. Submission details = follow below. *** The Award The 2020 Ackermann award will be presented to the recipient(s) at CSL = 21, the annual conference of the EACSL, in Ljubljana, January 25-28, = 2021. The award consists of * a certificate, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, * an invitation to the winner to publish the thesis in the FoLLI = subseries of Springer LNCS, and * financial support to attend the conference. The jury is entitled to give the award to more (or less) than one dissertation in a year. *** The Jury The jury consists of: * Christel Baier (TU Dresden); * Michael Benedikt (Oxford University); * Mikolaj Bojanczyk (University of Warsaw); * Jean Goubault-Larrecq (ENS Paris-Saclay); * Prakash Panangaden (McGill University); * Simona Ronchi Della Rocca (University of Torino), the vice-president = of EACSL; * Thomas Schwentick (TU Dortmund) , the president of EACSL; * Alexandra Silva, (University College London), ACM SigLog = representative. =20 *** How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Thomas Schwentick (thomas.schwentick@tu-dortmund.de); 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chair of the jury, Thomas Schwentick: thomas.schwentick@tu-dortmund.de The e-mail should have the following subject line and text: * Subject: Ackermann Award 20 Submission * Text: Name of candidate, list of attachments Submissions can be sent via several e-mail messages. If this is the = case, please indicate it in the text.