Germany / Poland / Russia / United States / Soviet Union / United Kingdom / /
Event
Employment Change / Person Travel / /
Facility
University of Manchester / Carnegie Mellon University / University of G¨ / University Paris / Max Planck Institute / Novosibirsk University / University of Washington / Manchester University / University of California / Warsaw University / /
IndustryTerm
propositional proof systems / prominent systems / machinery / mathematical systems / travel support / computing / /
Organization
LICS Organizing Committee / University of G¨ / MIT / Academy of Sciences / Novosibirsk University / Institute for Advanced Study / Warsaw University / Faculty of Mathematics and Exact Sciences / University of California at San Diego / European Association of Computer Science Logic / University of Manchester / EACSL Jury for the Ackermann / Carnegie Mellon University / University of Washington / Seattle / Manchester University / /
Person
Konstantin Korovins / Rabin / Igor Walukiewicz / Alexander Razborov Konstantin / Alexander Razborov His / Samuel Bass / B. Courcelle / Alexander Razborov / Erich Gr / Janos Makowsky / Russell Impagliazzo / Andrei Morozov / Andrei Voronkov / David Hilbert / Nathan Segerlind / Harald Ganzinger / Alexander Razborov Wilhelm Ackermann / Konstantin Korovin / Thatcher / Haifa / /
Position
honorary professor / President / Vice President / researcher / research associate / Supervisor / Professor / president and the vice-president / officio / forward / newly elected president / /
ProvinceOrState
Michigan / California / /
PublishedMedium
the Notre Dame Journal / Elsevier / the CSL proceedings / /