Call for Nominations: Ackermann Award 2015

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.2013 and 31.12.2014 are eligible for nomination for the award. The 2015 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL, 7-10 September 2015, in Berlin (Germany).

The deadline for submission is 15 April 2015. Nominations can be submitted from 1 January 2015 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.