Schedule
Gray slots are for the MaPA track. I presume most student presentations will be scheduled into these slots. We will have discussions (mostly lead by Vesal) about SMT-Based verification on the other dates.
| Date | Topic | Comments |
|---|---|---|
| 08.02 | First Meeting: Introduction to the Seminar | Notes |
| 15.02 | Model Checking and Temporal Logic | Handbook, chs. 1-3. |
| 22.02 | Overview of SafeAI papers | |
| 01.03 | Interpolation and Model Checking | Handbook, ch. 14. |
| 08.03 | Introduction to Relational Abstract Domains | Singh's Thesis, ch. 1; Miné Tutorial. |
| 15.03 | Predicate Abstraction I: Safety | Handbook, ch. 15. |
| 22.03 | Interlude: Automated Feedback Generation | Neuro-symbolic program corrector |
| 29.03 | Predicate Abstraction II: Termination | Handbook, ch. 15. |
| 05.04 | Group meeting & seminar agenda | |
| 12.04 | No Seminar | |
| 19.04 | No Seminar | (individual meetings) |
| 26.04 | The Flix Programming language | flix.dev |
| 03.05 | Discussion: Witness Generation for Concurrency | Simmo's Msc thesis |