The FMT Colloquia are typically held in person every Thursday from 14:00 to 15:00, unless otherwise specified.
Date & Time | Room | Speaker | Title |
---|---|---|---|
23 January | RA 3231 | Dilian Gurov | An Abstract Contract Theory for Programs with Procedures |
30 January | RA 2231 | Thijs van Ede | Leveraging AI for automating security operations |
06 February | RA 4334 | Soham Chakraborty | [TBA] |
13 February | CI T100 | Antonios Antoniadis | [TBA] |
20 February | RA 4334 | Arnd Hartmanns | Sound Statistical Model Checking for Probabilities and Expected Rewards |
27 February | [Available] | ||
06 March | CI T100 | Wander Nauta | Improving robustness of a verification toolset using fuzz testing |
Every Thursday onwards | [Available] |