Cambridge University Press / Dagstuhl Publishing / LICS / /
Continent
Europe / South America / /
Country
Germany / Netherlands / Poland / Norway / France / United States / Australia / United Kingdom / Ukraine / /
Facility
University of Bergen / University of Gothenburg / University of Storss / Mathematical Research Institute of Utrecht / University of Cambridge / University of Oxford / University of Amsterdam / Indiana University / University of Warsaw / Warsaw University / /
IndustryTerm
negative solution / /
Organization
Cambridge University / University of Warsaw / Warsaw University / University of Oxford / University of Bergen / University of Gothenburg / Mathematical Research Institute of Utrecht / Indiana University / Bloomington / University of Storss / EACSL Jury of the Ackermann / European Association of Computer Science Logic / University of Cambridge / University of Amsterdam / Jury for the Ackermann / Kurt Gödel Society / /
Person
Thomas A. Henzinger / Daniel Leivant / Imre Simon / Andrew Polonsky / Luc Segoufin / Lawrence C. Eggan / Benjamin Rossman / Jean-Pierre Jouannaud / Daniel Kirsten / Szymon Toruńczyk / Bojańczyk / Patrick Cégielski / Dietmar Berwanger / Thierry Coquand / Anuj Dawar / Damian Niwiński / Thomas Colcombet / Hing Leung / Marc Bezem / Ting Zhang / Jakob Nordström / Arnaud Durand / Nathan Segerlind / Konstantin Korovin / Church / Stefan Milius / Wolfgang Thomas / Stéphane Lengrand / Luke Ong / /
Position
vice-president / president / member of the LICS organizing committee / author / president and the vice-president / assistant professor / representative / /
The Ackermann Award 2012 Thierry Coquand1 , Anuj Dawar2 , and Damian Niwiński3 1,2,3 Members of EACSL Jury of the Ackermann Award∗