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 |
|---|---|---|---|
04 June | RA 3237 | Mariëlle Stoelinga | On-demand presentation about grant writing |
11 June | RA 3237 | Alexander Stekelenburg | [TBD] |
18 June | RA 4237 | Rodrigo Otoni | Automated Reasoning for Formal Verification and Logic Synthesis |
25 June | RA 4237 | Nadine Muller | [TBD] |
02 July | RA 4237 | Carlos Pulido Hernández | [TBD] |
09 July | RA 4237 | Vadim Zaytsev | [TBD] |
The FMT colloquium will be on summer break from the 16-07-2026 until 03-09-2026. |