Universiteit van Amsterdam

Call for Nominations: Ackermann Award 2018

Deadline: Wednesday 4 April 2018

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. Nominations are now invited for the 2018 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2016 and 31.12.2017 are eligible for nomination for the award. The 2018 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL, 4-7 September 2018, in Birmingham (UK).

For more information, see http://www.eacsl.org/submissionsAck.html or contact Thomas Schwentick at .