Paris / Stockholm / Oxford / Philadelphia / Berlin / Haifa / Cambridge / Amsterdam / Chicago / Edinburgh / Coimbra / /
Company
CNF / Logitech S.A. / SIAM Journal / KTH / /
Continent
Asia / North America / Europe / /
Country
Taiwan / Switzerland / Germany / Romania / Netherlands / Estonia / Sweden / Poland / France / Russia / United States / Portugal / United Kingdom / Israel / India / /
Facility
Swedish Armed Forces Language Institute / Royal Institute of Technology / Massachusetts Institute of Technology / Israel Institute of Technology / Stockholm University / /
IndustryTerm
propositional proof systems / ultimate solution / travel support / proof-search heuristic / /
MusicGroup
Renaissance / Baroque / /
Organization
Stockholm University / LICS Organizing Committee / Institute of Technology / Stockholm / Massachusetts Institute of Technology / Supreme / Swedish Armed Forces Language Institute / Swedish Association of Military Interpreters / EACSL Board / Swedish Parliament / European Association of Computer Science Logic / Tallinn Music Upper Secondary School / EACSL Jury for the Ackermann / Israel Institute of Technology / Jury for the Ackermann / Technion / /
Person
Karl Jakob Nordstr / Tor / Tseitin / Dietmar Berwanger / Eli Ben-Sasson / Wilhelm Ackermann / Jakob Nordstr / Daniel Borel / Ting Zhang / Esteban / Nathan Segerlind / Konstantin Korovin / Stefan Milius / /
Position
interpreter and translator / advisor / Prime Minister / President / Speaker / military interpreter / Secretary / Co-founder and Chairman of the Board / interpreter / research assistant / author / King / president and the vice-president / Commander / officio / /
ProvinceOrState
Massachusetts / /
PublishedMedium
the CSL proceedings / SIAM Journal on Computing / Theory of Computing / /
The Ackermann Award 2009 J.A. Makowsky and A. Razborov Members of EACSL Jury for the Ackermann Award The fifth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which th