Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Call for Nominations: Ackermann Award 2016

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.2014 and 31.12.2015 are eligible for nomination for the award. The 2016 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL, 29 August - 2 September 2016, in Marseille (France).

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

Please note that this newsitem has been archived, and may contain outdated information or links.