Thursday 9 January 14:00 - Thursday 3 April 2025 14:00
The FMT Colloquia are typically held in person every Thursday from 14:00 to 15:00, unless otherwise specified.
Date & Time | Room | Speaker | Title |
|---|---|---|---|
09 January | RA 4231 | Serge Johanns | Efficient Deductive Synthesis of Programs with Pointers |
16 January | RA 4231 | Milan Lopuhaä-Zwakenberg | [TBA] |
23 January | RA 3231 | Dilian Gurov | An Abstract Contract Theory for Programs with Procedures |
30 January | RA 2231 | Thijs van Ede | [TBA] |
06 February | [TBA] | Soham Chakraborty | [TBA] |
13 February | [Available] | ||
20 February | [Available] | ||
27 February | [Available] | ||
06 March | [TBA] | Wander Nauta | Improving robustness of a verification toolset using fuzz testing |
Every Thursday onwards | [Available] |