Thursday 26 February - Thursday 2 July 2026
The FMT Colloquia are weekly events, typically held in person every Thursday from 14:00 to 15:00, unless otherwise specified.
Date & Time | Room | Speaker | Title |
|---|---|---|---|
09 April | RA 2503 | Ömer Şakar | Deductive Verification of Weak Memory Programs with View-based Protocols |
16 April | [Cancelled] | ||
23 April | Robert Mensing | Spectral - Translating Specifications for Deductive Verification into LLVM-IR | |
30 April | [Available] | ||
07 May | [Available] | ||
14 May | [Ascension Day] | ||
Thursdays until 28 May | [Available] | ||
04 June | Mariëlle Stoelinga | On-demand presentation about grant writing | |
11 June | Alexander Stekelenburg | [TBD] |