Schedule
| Date | Topic | Comments |
|---|---|---|
| 18.02 | First Meeting: Overview of Topics | See sidebar! |
| 25.02 | Research Agenda (Grant Interim Report...) | Room 3115. |
| 03.03 | No Meeting | Winter School |
| 10.03 | Code Smell Analysis for iOS | Talk by Kristiina Rahkema (Room 3115) |
| 17.03 | No Meeting | COVID-19 |
| 23.03 | Closed Meeting | Research group web conference (mostly administrative) |
| 31.03 | JFlow: practical mostly-static information flow control | Lead by Kalmer |
| 07.04 | Yogi & Compositional May-Must Program Analysis | Lead by Vesal |
| 14.04 | ||
| 21.04 | Conclusions and Witnesses | Lead by Vesal & Simmo |
| 28.04 | A sound type system for secure flow analysis | Lead by Kalmer |
| 05.05 | ||
| 12.05 | No Meeting | Preparing for student talks... |
| 19.05 | Precise Geometry | Talk by Rando Tõnso |
| 26.05 | Defense rehearsal | Talk by Simmo Saan |
| 02.06? | Topic intro | Talk by Mirjam Iher |