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 |