Tutorial Slides — Tutorial I, Tutorial II, Tutorial III
Slides of the short presentations can be found here.


  Aug. 18 (Sunday) Aug. 19 (Monday)
08:45 - 09:00 Registration  
09:00 - 10:15 Tutorial I (Part 1)
Speaker: Alexander Nadel
Chair: Supratik Chakraborty
Tutorial II (Part 3)
Speaker: Friedrich Slivovsky
Chair: Subhajit Roy
10:15 - 10:30 Tea/Coffee Tea/Coffee
10:30 - 11:15 Tutorial I (Part 2)
Speaker: Alexander Nadel
Chair: Supratik Chakraborty
Short Presentations
Chair: Divyesh Unadkat
11:15 - 11:30 Tea/Coffee Tea/Coffee
11:30 - 12:45 Tutorial I (Part 3)
Speaker: Alexander Nadel
Chair: Supratik Chakraborty
Tutorial III (Part 1)
Speaker: Armin Biere
Chair: Meena Mahajan
12:45 - 14:00 Lunch Lunch
14:00 - 15:15 Tutorial II (Part 1)
Speaker: Friedrich Slivovsky
Chair: Subhajit Roy
Tutorial III (Part 2)
Speaker: Armin Biere
Chair: Meena Mahajan
15:15 - 15:45 Tea/Coffee Tea/Coffee
15:45 - 16:45 Tutorial II (Part 2)
Speaker: Friedrich Slivovsky
Chair: Subhajit Roy
Tutorial III (Part 3)
Speaker: Armin Biere
Chair: Meena Mahajan
16:45 - 17:00   Concluding Remarks