Phokion Kolaitis' Home Page at UC Santa Cruz
Phokion Kolaitis' Home Page at UC Santa Cruz
Recent Invited Talks, Tutorials, and Panel Presentations
Invited Talks
Composing Schema Mappings: An Overview
, INFINT 2009 - Bertinoro Workshop on Data and Service Integration, Bertinoro, Italy, 2009.
Foundations and Applications of Schema Mappings
, Departmental Seminar Talk, Oxford University Computing Laboratory, and Stanford InfoSeminar Talk, Computer Science Department, Stanford University, 2009.
Repair Checking in Inconsistent Databases: Algorithms and Complexity
, Talk at the Information Systems Seminar, Oxford University Computing Laboratory, 2009.
Answering Aggregate Queries in Data Exchange
, Talk at the KRDB Research Center for Knowledge and Data, Free University of Bozen-Bolzano, 2008.
Reflections on Finite Model Theory
, Talk at the 2007 IEEE Symposium on Logic in Computer Science (LICS 2007).
Inductive Definability & Finite Variable Logics: From Logic to Computer Science
, Talk at the 2005 Panhellenic Logic Symposium, dedicated to Yiannis N. Moschovakis.
Schema Mappings, Data Exchange, and Metadata Management
, Talk at the 2005 ACM Symposium on Principles of Database Systems (PODS 2005).
Invited Tutorials & Short Courses
Relational Databases, Logic, and Complexity
, Short Cource at the
2009 GII Doctoral School on Advances in Databases
, University of Calabria, Italy, 2009.
Foundations and Applications of Schema Mappings
, Tutorial at the
Workshop on Logic and Algorithms - LAA '08
, Edinburgh, UK, 2008.
Logic and Constraint Satisfaction: An Introduction
, Tutorial at the
AIM Workshop on Applications of Universal Algebra and Logic to the Constraint Satisfaction Problem
, American Institute of Mathematics, Palo Alto, California, 2008.
Schema Mappings and Data Exchange
, Short Course at
DASI '06 - Bertinoro Ph.D. School on Data and Service Integration
, University Residential Center of Bertinoro, Bertinoro, Italy, 2006.
Constraint Satisfaction and Logic
, Tutorial at the
International Workshop on Mathematics of Constraint Satisfaction: Algebra, Logic, and Graph Theory
, University of Oxford, 2006.
Invited Panel Presentations
Computer Science Workshops: Blurring the distinction between conferences and workshops, and duplicate-submission policies
, Panel on
Paper and Proposal Reviews: Is the Process Flawed?
,
2008 CRA Snowbird Conference.
How can academia and industry work together to address educational issues
, Panel Presentation at the
2007 Google Education Summit.
Phokion G. Kolaitis Computer Science Department University of California, Santa Cruz Santa Cruz, CA 95064, USA (831) 459-4768 kolaitis at cs.ucsc.edu