New Dates: 1-3 September

Plan (can change)

Wednesday 1 September

13:00 - 14:00 Lunch

14:00 - 15:30 Maarten Marx: Processing text-centric XML, tutorial

15:30 - 16:00 Coffee Break

16:00 - 16:45 Maarten Marx: Processing text-centric XML, exercises

16:45 - 17:30 Paweł Parys: XPath evaluation in linear time

Evening: dinner at Belvedere restaurant

Thursday 2 September

9:00 - 10:30 Mikołaj Bojańczyk: Verification, without a connection to databases, tutorial

10:30 - 11:00 Coffee break

11:00 - 11:45 Mikołaj Bojańczyk: Verification, without a connection to databases, exercises

11:45 - 12:30 Wim Martens: Incremental XPath evaluation

12:30 - 14:00 Lunch

14:00 - 15:30 Luc Segoufin: Verification, with a connection to databases, tutorial

15:30 - 16:00 Coffee break

16:00 - 16:45 Luc Segoufin: Verification, with a connection to databases, exercises

16:45 - 17:15 Mikołaj Bojańczyk: A temporal logic for describing a changing XML document

Evening: social event

Friday 3 September

9:00 - 9:45 Filip Murlak: XML certain answers

9:45 - 10:30 Juan Reutter: Implementing XML data exchange by relational dbms’s.

10:30 - 11:00 Coffee break

11:00 - 12:30 Timos Antonopoulos: Sampling of Automata

12:30 - 14:00 Lunch