Invited Talks
ICDT Invited Talk: Automatic Verification of Database-Driven Systems: A New Frontier (Monday, March 23, 09:00—10:30)
- Automatic Verification of Database-Driven Systems: A New Frontier (Invited Talk)
Victor Vianu
ICDT Invited Talk: Datalog±: A Unified Approach to Ontologies and Integrity Constraints (Wednesday, March 25, 09:00—10:30)
- Datalog±: A Unified Approach to Ontologies and Integrity Constraints (Invited Talk)
Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz