| Time | Speaker | Lecture | |||
|---|---|---|---|---|---|
| 08:50-09:00 | Amphi 7 | Organizers | Welcome | 09:00-10:45 | Amphi 7 | Daniel Le Berre | Introduction to SAT |
| 10:45-11:15 | (coffee break) | ||||
| 11:15-13:00 | VG318 | Kristin Rozier | SAT Applications | ||
| 13:00-14:30 | (lunch) | ||||
| 14:30-16:15 | VG318 | Katalin Fazekas | Incremental SAT (repository) | ||
| 16:15-16:45 | (coffee break) | ||||
| 16:45-18:30 | Amphi 7 | Armin Biere | Advanced SAT |
| Time | Speaker | Lecture | |||
|---|---|---|---|---|---|
| 09:00-10:45 | Amphi 7 | Alberto Griggio | SMT introduction (ground) | ||
| 10:45-11:15 | (coffee break) | ||||
| 11:15-13:00 | Amphi 7 | Haniel Barbosa | An introduction to SMT solving with quantifiers (demos) | ||
| 13:00-14:30 | (lunch) | ||||
| 14:30-16:15 | VG318 | Philipp Rümmer | SMT practical (material) | ||
| 16:15-16:45 | (coffee break) | ||||
| 16:45-18:30 | Amphi 7 | Michael Whalen | SMT applications | ||
| 19:30-22:00 | (social dinner) |
| Time | Speaker | Lecture | |||
|---|---|---|---|---|---|
| 09:00-10:45 | Amphi 7 | Michael Rawson | AR introduction or here. | ||
| 10:45-11:15 | (coffee break) | ||||
| 11:15-13:00 | Amphi 7 | André Platzer | Logic of Autonomous Dynamical Systems (KeYmaera X install instructions) | ||
| 13:00-14:30 | (lunch) | ||||
| 14:30-16:15 | VG318 | Stephan Schulz | AR practical | (see lecture page for software to install) | |
| 16:15-16:45 | (coffee break) | ||||
| 16:45-18:30 | VG318 | Chantal Keller | Using Proofs (Follow installation instructions as preparation) |
| Time | Speaker | Lecture | |||
|---|---|---|---|---|---|
| 09:00-10:45 | Amphi 7 | Carsten Fuhs | AR Applications | ||
| 10:45-11:15 | (coffee break) | ||||
| 11:15-13:00 | Amphi 7 | Jakob Nordstrom | Proof complexity and SAT solving | 13:00-13:10 | Organizers | End of School |
| 13:10-14:30 | (lunch) | ||||
| 14:30- | (social activities) |