[Caml-list] Ackermann award 2014

[Ronchi Della Rocca Simona <ronchi@di.unito.it>]

[-- Attachment #1: Type: text/plain, Size: 3497 bytes --]


> 
> ACKERMANN AWARD 2014 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR
> LOGIC IN COMPUTER SCIENCE
>  CALL FOR NOMINATIONS
> 
> Nominations are now invited for the 2014 Ackermann Award.
> PhD dissertations in topics specified by the EACSL and LICS
> conferences, which were formally accepted as PhD theses at a
> university or equivalent institution between 1.1.2012 and 31.12.2013
> are eligible for nomination for the award. The deadline for submission
> is 28 February 2014 (Note: this is earlier than in previous years).
> Submission details follow below.
> Nominations can be submitted from 1 January 2013 on and should be sent
> to the chair of the Jury, Anuj Dawar, by e-mail: anuj.dawar@cl.cam.ac.uk
> 
> The Award
> The 2014 Ackermann award will be presented to the recipient(s) at the
> annual conference of the EACSL (this year as the CSL/LICS joint
> conference), 14-18 July 2014, in Vienna (Austria).
> The award consists of
> 
>     * a diploma,
>     * an invitation to present the thesis at the CSL/LICS conference,
>     * the publication of the laudatio in the CSL/LICS 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
> 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
> 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
> English); supporting letters can also be sent directly to Anuj Dawar
> (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
> a PhD thesis at a recognized University (or equivalent institution) and
> that the candidate has received his/her PhD within the specified period
> (scanned as pdf-file or faxed).
> 
> The submission should be sent by e-mail as attachments to the chairman
> of the jury, 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,
> please indicate it in the text. Letters of support and documents can
> also be faxed to:
> Anuj Dawar
> Ackermann Award
> +44 1223 334678
> 
> The Jury has the right to declare submissions to be out of scope or not
> to meet the requirements.
> 
> The Award is sponsored by the Kurt Gödel Society.

_____________________
Simona Ronchi Della Rocca
full professor of
"Foundations of Computer Science"
Dipartimento di Informatica
Università di Torino
c. Svizzera 185, 10149 Torino

e-mail: ronchi@di.unito.it
phone:+39-011-6706734
fax: +39-011-751603
mobile: +39-320-4205121


[-- Attachment #2: Type: text/html, Size: 6513 bytes --]