17th EACSL Annual Conference on
15th-19th September 2008,
Call For Papers
The Ackermann Award is the EACSL
Outstanding Dissertation Award for Logic in Computer Science.
It is presented during the annual conference of the EACSL. Ackermann Award 2008 will be
presented to the recipients at CSL2008.
For the three years 2007-2009, the Award is sponsored by Logitech, S.A., Romanel, Switzerland, the world's leading provider of personal peripherals.