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

19 September
14:00–15:00

RA 2503

Jaco van de Pol

[TBA]

26 September
14:00–15:00


[Cancelled]
No room available


03 October
14:00–15:00

OH 116

Bob Rubbens

VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory

10 October
14:00–15:00

RA 2503

Moritz Hahn

[TBA]

17 October
14:00–15:00

RA 2501

[Reserved]


24 October
14:00–15:00

RA 4231

Philip Tasche

Automated Invariant Generation for Embedded Systems

31 October
14:00–15:00

RA 2503

Ellen Wittingen

[TBA]

07 November
14:00–15:00


[Available]


14 November
14:00–15:00

[TBA]

Arend Rensink

Nested Application Conditions

21 November
14:00–15:00


[Available]


28 November
14:00–15:00


[Available]


05 December
14:00–15:00


[Available]


12 December
14:00–15:00


[Available]


19 December to
02 January 2025


Winter Break


Every Thursday onwards
14:00–15:00


[Available]