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 |
---|---|---|---|
13 February | CI T100 | Antonios Antoniadis | Different Benchmarks for Online Metric Algorithms with Predictions |
20 February | RA 4334 | Arnd Hartmanns | Sound Statistical Model Checking for Probabilities and Expected Rewards |
27 February | RA 4334 | Lola Solovyeva | AI-Powered, But Power-Hungry? Energy efficiency of LLM generated code |
06 March | CI T100 | Wander Nauta | Improving robustness of a verification toolset using fuzz testing |
13 March | [Available] | ||
20 March | Carré 2H | Arthur Rump | [TBA] |
28 March | Carré 2N | Alessandro Abate | [TBA] |
Every Thursday onwards | [Available] |