Workshop programme
The Workshop Proceedings can be found here.
All events will take place at the Informatics Forum.
Sunday, 27 October 2013
Reception at the Informatics Forum, 5:30pm.
Coffee and biscuits will be available from 2:00pm onwards in Mini-Forum 2 on the fourth floor of the Informatics Forum.
Monday, 28 October 2013
Coffee and breakfast bacon rolls (vegetarian options too) available from 8:30am in Mini-Forum 2 on the fourth floor of the Informatics Forum.
8.55am-9.00am: Welcome by Mike Fourman and Val Tannen
Session 1, 9.00am-9.30am: Peter Buneman’s Latest Passion
Chair: Val Tannen
- Hitting Buneman Circles
Mike Fourman
Session 2, 9.30am-10.30am: Models
Chair: Val Tannen
- Relational Databases and Bell’s Theorem
Samson Abramsky - Schemaless Semistructured Data Revisited
Keishi Tajima
Tea Break, 10.30am-11.00am
Session 3, 11.00am-12.00nn: Models
Chair: Victor Vianu
- A Calculus of Chemical Systems
Gordon Plotkin - Representation-Invariance, and Definability
Scott Weinstein
Lunch Break, 12.00nn-1.30pm
Session 4, 1.30pm-3.00pm: Languages and Types
Chairs: Jan Van den Bussche & Limsoon Wong
- Types, Functional Programming and Atomic Transactions in Hardware Design
Rishiyur Nikhil - Record Polymorphism: Its Development and Applications
Atsushi Ohori - Well-Defined NRC Queries can be Typed
Jan Van den Bussche, Stijn Vansummeren
Tea Break, 3.00pm-3.30pm
Session 5, 3.30pm-4.30pm: Data Integration
Chair: Serge Abiteboul
- High-Level Rules for Heterogeneous Data Integration and Analysis of Data
Bogdan Alexe, Douglas Burdick, Mauricio Hernandez, Georgia Koutrika, Rajasekar Krishnamurthy, Lucian Popa, Ioana E. Stanoi, Ryan Wisnesky - A New Framework for Designing Schema Mappings
Bogdan Alexe, Wang-Chiew Tan
Session 5, 4.30pm-5.00pm: Pricing
Chair: Serge Abiteboul
- A Discussion on Pricing Relational Data
Magdalena Balazinska, Bill Howe, Paraschos Koutris, Dan Suciu, Prasang Uphadyaya
Banquet dinner, 7pm
Tuesday, 29 October 2013
Coffee and pastries available from 8:30am in Mini-Forum 2 on the fourth floor of the Informatics Forum.
Session 1, 9.00am-9.30am: Attitudes
Chair: David Maier
- Profiling Attitudes for Personalized Information Provision
Yannis Ioannidis
Session 2, 9.30am-10.30am: Complexity
Chair: David Maier
- Datalog+/-: A unifying framework for tractable reasoning over data
Georg Gottlob - Bounds and Algorithms for Joins via Fractional Edge Covers
Martin Grohe
Tea Break, 10.30am-11.00am
Session 3, 11.00am-12.00nn: Provenance
Chair: Georg Gottlob
- Provenance and the Semantics of Programming Languages
James Cheney, Umut Acar, Roly Perera - First-Order Provenance Games
Sven Koehler, Bertram Ludaescher, Daniel Zinn
Lunch Break, 12.00nn-1.30pm
Session 4, 1.30pm-3.00pm: Provenance
Chair: Ioana Manolescu
- User Trust and Judgments in a Curated Database with Explicit Provenance
David Maier, David Archer, Lois Delcambre - Using SQL for Efficient Generation and Querying of Provenance Information
Boris Glavic, Renée J. Miller, Gustavo Alonso - Provenance-directed chase & back chase
Alin Deutsch, Rick Hull
Tea Break, 3.00pm-3.30pm
Session 5, 3.30pm-4.30pm: Incremental Computation
Chair: Wenfei Fan
- Incremental Data Fusion Based on Provenance Information
Carmem Hara, Cristina Ciferri, Ricardo Ciferri - Foundations of Incremental Computation
Christoph Koch