The Ackermann Award 2005

ce, the publication of the abstract of the thesis and the citation in the CSL proceedings, and travel support to attend the conference. The first Ackermann Award is presented at this CSL’05. Eligible for the 2005 Ackermann Award were 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 January 2003 and 31 December 2004. The jury for the Ackermann Award consists of seven members, three of them ex officio, namely the president and the vice-president of EACSL, and one member of the LICS organizing committee. The current jury consists of – S. Abramsky (Oxford, LICS Organizing Committee) – B. Courcelle (Bordeaux) – E. Gr¨adel (Aachen) – M. Hyland (Cambridge) – J.A. Makowsky (Haifa, President of EACSL) – D. Niwinski (Warsaw, Vice President of EACSL) – A. Razborov (Moscow and Princeton) L. Ong (Ed.): CSL 2005, LNCS 3634, pp. 557–565, 2005. c Springer-Verlag B...

• Type: Conference
• Year: 2005
• Where: CSL
• Authors: Erich Grädel, Janos Makowsky, Alexander A. Razborov
• Keywords: Ackermann Award, CSL 2005, Lics Organizing Committee, first Ackermann Award