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

09 January
14:00–14:45

RA 4231

Serge Johanns

Efficient Deductive Synthesis of Programs with Pointers

16 January
14:00–15:00

RA 4231

Milan Lopuhaä-Zwakenberg

[TBA]

23 January
14:00–15:00

RA 3231

Dilian Gurov

An Abstract Contract Theory for Programs with Procedures

30 January
14:00–15:00

RA 2231

Thijs van Ede

[TBA]

06 February
14:00–15:00

[TBA]

Soham Chakraborty

[TBA]

13 February
14:00–15:00


[Available]


20 February
14:00–15:00


[Available]


27 February
14:00–15:00


[Available]


06 March
14:00–14:45

[TBA]

Wander Nauta

Improving robustness of a verification toolset using fuzz testing

Every Thursday onwards
14:00–15:00


[Available]