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 / /