EACSLEuropean Association for Computer Science Logic | |
|
:: Home :: What is EACSL :: Organization :: Membership :: CSL Conferences :: Ackermann Award :: CSL Bibliography :: Constitutions :: Minutes :: Contact :: Ackermann Award :: Submissions :: Previous Awards :: Wilhelm Ackermann |
The Ackermann AwardThe Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL'xx).For the past three years 2007-2009, the Award is sponsored by Logitech, S.A., Romanel, Switzerland, the world's leading provider of personal peripherals. For the next three years 2010-2012, the Award is sponsored by the Kurt Gödel Society. Recipient of the Ackermann Award 2009The Ackermann Award 2009 has been granted to
The Jury consisted of J. van Benthem, B. Courcelle, M. Grohe, M. Hyland, J. Makowsky, D. Niwinski, G. Plotkin, A. Razborov. The Award Ceremony took place during the CSL'09 Conference. A detailed report is published in the CSL'09 Proceedings. A copy can be retrieved here . |