HomeNews & eventsUpcoming FMT Group Colloquia

Upcoming FMT Group Colloquia

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

CI T100

Antonios Antoniadis

Different Benchmarks for Online Metric Algorithms with Predictions

20 February
14:00–14:45

RA 4334

Arnd Hartmanns

Sound Statistical Model Checking for Probabilities and Expected Rewards

27 February
14:00–14:30

RA 4334

Lola Solovyeva

AI-Powered, But Power-Hungry? Energy efficiency of LLM generated code

06 March
14:00–14:45

CI T100

Wander Nauta

Improving robustness of a verification toolset using fuzz testing

13 March
14:00–15:00


[Available]


20 March
14:00–15:00

Carré 2H

Arthur Rump

[TBA]

28 March
11:00–12:00

Carré 2N

Alessandro Abate

[TBA]

Every Thursday onwards
14:00–15:00


[Available]