The FMT Colloquia are typically held in person every Thursday from 14:00 to 15:00, unless otherwise specified.
Date & Time | Room | Speaker | Title |
---|---|---|---|
05 December | RA 4334 | Pauline Blohm | Towards Quantitative Analysis of Simulink Models using Stochastic Hybrid Automata |
12 December | RA 2053 | Arend Rensink | Nested Conditions |
19 December to | Winter Break | ||
09 January | [TBA] | Serge Johanns | [TBA] |
16 January | [Available] | ||
23 January | RA 3231 | Dilian Gurov | An Abstract Contract Theory for Programs with Procedures |
30 January | [TBA] | Thijs van Ede | [TBA] |
06 February | [TBA] | Soham Chakraborty | [TBA] |
Every Thursday onwards | [Available] |