Schedule of Talks
| date | speaker | title | slides |
|---|---|---|---|
| 07.03. | Kick-Off Meeting | ||
| 14.03. | Georg Moser | Static Program Analysis: Teaser | |
| 09.05. | Georg Moser | A Mundane Approach to Correctness | |
| 16.05. | Michael Thöni | Approximation of Fixed Points | |
| 23.05. | Fabio Valentini | Galois Connections | |
| 06.06. | Daniel Ranalter | Systematic Design of Galois Connections | |
| 13.06. | Fabian Schaub, Kamal Zakieldin | Induced Operations |