Schedule
| Date | Topic | Comments |
|---|---|---|
| 08.09 | First Meeting: Introduction | |
| 15.09 | Topic Assignment | Topics Overview |
| 22.09 | No Seminar | Thesis Defense / Meeting: SV-COMP discussions |
| 29.09 | No Seminar | Meeting: ICS Day preparations |
| 13.10 | WP Calculi for Probabilistic Programs I | Kaminski's PhD Thesis |
| 21.10 | WP Calculi for Probabilistic Programs II | Lead by Mirjam |
| 28.10 | WP Calculi for Probabilistic Programs III | Lead by Mirjam |
| 03.11 | No Seminar | GobCon Meeting |