Call for Nominations: Ackermann Award 2014

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. 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 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 deadline for submission is 28 February 2014 (Note: this is earlier than in previous years). Nominations can be submitted from 1 January 2014 on and should be sent to the chair of the Jury, Anuj Dawar, by e-mail. For more information, see http://www.eacsl.org/submissionsAck.html.