Invited Speakers
 | Moshe Y. Vardi Rice, USA Distinguished opening lecture: A Theory of Regular Queries |  | Samuel R. Buss UCSD, USA Propositional Proofs in Frege and Extended Frege Systems | ||
 | Phokion Kolaitis UCSC and IBM Research - Almaden, USA The Ubiquity of Database Dependencies |  | Vladimir Podolskii Steklov Institute of Mathematics and National Research University - Higher School of Economics - Moscow, Russia Circuit Complexity Meets Ontology-Based Data Access |