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

23 January
14:00–15:00

RA 3231

Dilian Gurov

An Abstract Contract Theory for Programs with Procedures

30 January
14:00–14:45

RA 2231

Thijs van Ede

Leveraging AI for automating security operations

06 February
14:00–15:00

RA 4334

Soham Chakraborty

[TBA]

13 February
14:00–15:00

CI T100

Antonios Antoniadis

[TBA]

20 February
14:00–14:45

RA 4334

Arnd Hartmanns

Sound Statistical Model Checking for Probabilities and Expected Rewards

27 February
14:00–15:00


[Available]


06 March
14:00–14:45

CI T100

Wander Nauta

Improving robustness of a verification toolset using fuzz testing

Every Thursday onwards
14:00–15:00


[Available]