Call for Nominations: Ackermann Award (EACSL outstanding dissertation award for logic in computer science)

Eligible for the 2009 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.2007 and 31.12. 2008. The 2009 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'09).

The deadline for submission is 15.3.2009. For more information, see http://www.dimi.uniud.it/eacsl/submissionsAck.html