From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 E7BAE7F30A for ; Mon, 25 Feb 2013 17:39:40 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Anuj.Dawar@cl.cam.ac.uk) identity=pra; client-ip=128.232.25.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ad260@cl.cam.ac.uk"; x-sender="Anuj.Dawar@cl.cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ad260@cl.cam.ac.uk) identity=mailfrom; client-ip=128.232.25.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ad260@cl.cam.ac.uk"; x-sender="ad260@cl.cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mta0.cl.cam.ac.uk) identity=helo; client-ip=128.232.25.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ad260@cl.cam.ac.uk"; x-sender="postmaster@mta0.cl.cam.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgADABWSK1GA6BkUkWdsb2JhbABFvjuEHxYOAQEBARQSFCeCHwEjNhVDPz8hiBOfCo8miFeIJ40yG4FegyoDlj2JXQ2KAoFy X-IPAS-Result: AgADABWSK1GA6BkUkWdsb2JhbABFvjuEHxYOAQEBARQSFCeCHwEjNhVDPz8hiBOfCo8miFeIJ40yG4FegyoDlj2JXQ2KAoFy X-IronPort-AV: E=Sophos;i="4.84,735,1355094000"; d="scan'208";a="4415303" Received: from mta0.cl.cam.ac.uk ([128.232.25.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Feb 2013 17:39:40 +0100 Received: from attar.cl.cam.ac.uk ([128.232.9.84] helo=cl.cam.ac.uk) by mta0.cl.cam.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1UA15Y-00030R-1j for caml-list@inria.fr; Mon, 25 Feb 2013 16:39:40 +0000 X-Mailer: exmh version 2.7.2 10/15/1999 with nmh-1.3 To: caml-list@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Date: Mon, 25 Feb 2013 16:39:40 +0000 From: Anuj Dawar Message-Id: X-Validation-by: anuj.dawar@cl.cam.ac.uk Subject: [Caml-list] Ackermann Award 2013 - Call for Nominations ACKERMANN AWARD 2013 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC I= N=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=20 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@cl.cam.ac.uk 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=20 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@cl.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@cl.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,=20 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.