Invited Talks (Alphabetically)
- Automatic Verification of Database-Driven Systems: A New Frontier (Invited Talk)
Victor Vianu - Datalog±: A Unified Approach to Ontologies and Integrity Constraints (Invited Talk)
Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz