Logic List Mailing Archive

Call for Nominations: Ackermann Award 2010

ACKERMANN AWARD 2010 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN 
COMPUTER SCIENCE

CALL FOR NOMINATIONS

* Eligible for the 2010 Ackermann Award are 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.2008 and 31.12. 2009.
* Submission details are available at
      http://www.eacsl.org/submissionsAck.html
* The deadline for submission is
 		March 15, 2010
   Nominations can be submitted from  January 1, 2010 on and should be sent
   to the chairman of the Jury by e-mail:
  	 	janos@cs.technion.ac.il
* The award consists of
      - a diploma,
      - an invitation to present the thesis at the CSL conference,
      - the publication of the abstract of the thesis and the laudation
        in the CSL proceedings,
      - travel support to attend the conference.
* The 2010 Ackermann Award will be presented to the recipients at the
   annual conference of the EACSL (CSL'10) in Brno (Czech Republic)
   to be held 23-27 August 2010,
   	http://mfcsl2010.fi.muni.cz/
* The jury consists of 10 members:
      - The member of the board of EACSL as chairman of the Jury,
        J. Makowsky (Haifa)
      - The president of EACSL, D. Niwinski (Warsaw)
      - The vice-president of EACSL, A. Dawar (Cambridge)
      - One member of the LICS organizing committee, G. Plotkin (Edinburgh)
      - R. Alur (Philadelphia)
      - A. Atserias (Barcelona)
      - T. Coquand (Goeteborg)
      - P.-L. Curien (Paris)
      - A. Durand (Paris)
      - J. van Benthem (Amsterdam and Stanford)

* The jury is entitled to give more than one award per year.

* The previous Ackermann Award recipients were:
   2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind;
   2006: Stefan Milius and Balder ten Cate;
   2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang.
   2008: Krishnendu Chatterjee
   2009: Jakob Nordstrom

* For the three years 2010-2012,
   the Award is sponsored by the Kurt Goedel Society