IBM / Nordstrom / SO co / FO (N) co / E N Immerman Arithmetic Hierarchy co / Time Hierarchy co / O(1) co / Intel / /
Facility
Aachen University / Newton Institute / University of Edinburgh / University of Oxford / Isaac Newton Institute / Rice University / Warsaw University / University of Durham / University of Paris / /
IndustryTerm
constraint-solving technology / database systems / synthesis algorithms / polynomial time solutions / software systems / search problems / satellite workshop / cryptographic systems / research training network / concurrent systems / satellite meeting / proof systems / algebraic systems / synchronization protocols / relational database systems / /
Organization
Isaac Newton Institute / Warsaw University / Carnegie Mellon / Rice University / NP SO / University of Oxford / University of Durham / University of Paris / Aachen University / University of Edinburgh / European Commission / Newton Institute / SO(LFP) / Stanford / /
Person
Dan Suciu / Jaroslav Nešetřil / Phokion Kolaitis / Hubie Chen / Rajeev Alur / Leonid Libkin / Nadia Creignou / Luc Segoufin / Ken McMillan (Cadence) / Igor Walukiewicz / Enrico Giunchiglia (Genoa) / Bart Kuijpers / Richard Elwes / Andrei Bulatov / Moshe Vardi / Dugald Macpherson / Georg Gottlob / Dov Monderer / Martin Otto / Thomas Wilke / Jan van den Bussche / Albert Atserias / Patrick Cousot / Kousha Etessami / Frank Neven / Nicole Schweikardt / Stephen / Marko Djordjevic / Victor Vianu / Jan Krajíc / Marta Kwiatkowska / Pierre Wolper (Liege) / Johan van Bentham / Stephan Kreutzer / Didier Caucal / Ziyad Hanna / Johan Hastad / Victor Dalmau / Peter Jonsson / Manuel Bodirsky / Sasha Rubin / Benoit Larose / Iain Stewart / Erich Grädel / Neil Immerman / Christoph Koch / Pavol Hell / Luke Ong / Peter Jeavons / /
Final 0506 Quark 7 Annual Report:0506 draft 5.qxd.qxd