Call for Nominations: Ackermann Award 2008

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. Eligible for the 2008 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.2006 and 31.12. 2007. The 2008 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'08).

The deadline for submissions is 15.3.2008. For submission details and more information, see http://www.dimi.uniud.it/~eacsl/award.html and http://www.cs.technion.ac.il/eacsl