Master Class

Session 1 (May 26 10:30-12:30) IWIL
Session 2 (May 26 14:00-16:00) IWIL
Session 3 (May 26 16:30-18:00) IWIL Panel: Software Architectures for Modern Automated Reasoning Systems - Lessons Learned?
Session 4 (May 27 09:00-10:00)
Session 5 (May 27 10:30-12:30)
Session 6 (May 27 14:00-16:00)
Session 7 (May 27 16:30-18:00)
Session 8 (May 28 09:00-10:00)
Session 9 (May 28 10:30-12:30)
Session 10 (May 28 14:30-16:00)
Session 11 (May 28 16:30-18:00) Local Participants Active Research
Session 12 (May 30 09:00-10:00)
Session 13 (May 30 10:30-12:30) Local Participants Active Research
Session 14 (May 30 14:00-16:00)
Session 15 (May 30 16:30-18:00)
Session 16 (May 31 09:00-10:00)
Session 17 (May 31 10:30-12:30)
Session 18 (May 31 14:30-16:00)
Session 19 (May 31 16:30-18:00)