HomeNews & eventsUpcoming FMT Group Colloquia

Upcoming FMT Group Colloquia

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
14:00–15:00

RA 4334

Pauline Blohm

Towards Quantitative Analysis of Simulink Models using Stochastic Hybrid Automata

12 December
14:00–15:00

RA 2053

Arend Rensink

Nested Conditions

19 December to
02 January 2025


Winter Break


09 January
14:00–15:00

[TBA]

Serge Johanns

[TBA]

16 January
14:00–15:00


[Available]


23 January
14:00–15:00

RA 3231

Dilian Gurov

An Abstract Contract Theory for Programs with Procedures

30 January
14:00–15:00

[TBA]

Thijs van Ede

[TBA]

06 February
14:00–15:00

[TBA]

Soham Chakraborty

[TBA]

Every Thursday onwards
14:00–15:00


[Available]