Logitech S.A. / Pure Type Systems / Bendix / Let us / Microsoft Research Asia / NP / /
Continent
Asia / North America / Europe / /
Country
Germany / Switzerland / Romania / Netherlands / Poland / France / Russia / United States / Australia / China / Scotland / /
Facility
Stanford University / University of St Andrews / Tsinghua University / Oxford University / University of St. Andrews / Peking University / /
IndustryTerm
reactive systems / certified software / proof-search mechanisms / proof assistant software / search game / travel support / notable by-product / proof search / /
OperatingSystem
Sequent / /
Organization
Technische Hochschule Aachen / LICS Organizing Committee / Tsinghua University / Peking University / Beijing / EACSL Board / Ecole Normale Sup´erieure de Lyon / Royal Scottish Academy of Music and Drama in Glasgow / University of St Andrews / European Association of Computer Science Logic / Stanford University / EACSL Jury for the Ackermann / Oxford University / Jury for the Ackermann / /
Person
Don Knuth / Henny Sipma / David / Dietmar Berwanger / Wilhelm Ackermann / Daniel Borel / B. Courcelle / Erich Gr / Ting Zhang / Stephane Lengrand / Guillaume / Delia Kesner / Nathan Segerlind / Konstantin Korovin / Roy Dyckhoff / Zohar Manna / Stefan Milius / Haifa / /
Position
President / Vice President / researcher / player / Co-founder and Chairman of the Board / general / uniform and abstract framework / author / professor / designer / president and the vice-president / co-advisor / assistant / /
The Ackermann Award 2007 M. Grohe, M. Hyland, J.A. Makowsky, and D. Niwinski Members of EACSL Jury for the Ackermann Award? The third Ackermann Award is presented at this CSL’07. This is the first year in which the EAC