From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7613 Path: news.gmane.org!not-for-mail From: Anuj Dawar Newsgroups: gmane.science.mathematics.categories Subject: Ackermann Award 2013 - Call for Nominations Date: Mon, 25 Feb 2013 16:40:21 +0000 Message-ID: Reply-To: Anuj Dawar NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1361886254 28851 80.91.229.3 (26 Feb 2013 13:44:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 26 Feb 2013 13:44:14 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Feb 26 14:44:37 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.32]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UAKph-00056Z-FA for gsmc-categories@m.gmane.org; Tue, 26 Feb 2013 14:44:37 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:47179) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1UAKnM-0004MH-AS; Tue, 26 Feb 2013 09:42:12 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1UAKnL-00063R-7h for categories-list@mlist.mta.ca; Tue, 26 Feb 2013 09:42:11 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7613 Archived-At: ACKERMANN AWARD 2013 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC= IN=20 COMPUTER SCIENCE CALL FOR NOMINATIONS Eligible for the 2013 Ackermann Award are PhD dissertations in topics=20 specified by the EACSL and LICS conferences, which were formally=20 accepted as PhD theses at a university or equivalent institution between = 1.1.2011 and 31.12.2012. The deadline for submission is 15 April 2013.=20 Submission details follow below. Nominations can be submitted from 1 January 2013 on and should be sent=20 to the chair of the Jury, Anuj Dawar, by e-mail: anuj.dawar=40cl.cam.ac.u= k The Award The 2013 Ackermann award will be presented to the recipient(s) at the=20 annual conference of the EACSL (CSL'13), 2-5 September 2013, in Torino=20 (Italy). The award consists of * a diploma, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, * travel support to attend the conference. The jury is entitled to give more (or less) than one award per year. Jury The jury consists of: * Thierry Coquand (Chalmers University of Gothenburg); * Anuj Dawar (University of Cambridge), the president of EACSL; * Thomas A. Henzinger (IST Austria); * Daniel Leivant (Indiana University, Bloomington); * Damian Niwinski (University of Warsaw); * Luke Ong (University of Oxford), LICS representative; * Simona Ronchi Della Rocca (University of Torino), the=20 vice-president of EACSL; * Wolfgang Thomas (RWTH, Aachen). How to submit The candidate or his/her supervisor has to submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis=20 in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters = by other senior faculty or researchers in equivalent positions (in=20 English); supporting letters can also be sent directly to Anuj Dawar=20 (anuj.dawar=40cl.cam.ac.uk); 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as=20 a PhD thesis at a recognized University (or equivalent institution) and=20 that the candidate has received his/her PhD within the specified period=20 (scanned as pdf-file or faxed). The submission should preferably be sent by e-mail as attachments to=20 Anuj Dawar: anuj.dawar=40cl.cam.ac.uk With the following subject line and text: * Subject: Ackermann Award Submission * Text: Name of candidate, list of attachments Submission can be sent via several e-mail messages. If this is the case, = please indicate it in the text. Letters of support and documents can=20 also be faxed to: Prof. Anuj Dawar Ackermann Award +44 1223 334678 The Jury has the right to declare submissions to be out of scope or not=20 to meet the requirements. The Award is sponsored by the Kurt G=F6del Society. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]