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

31 October
14:00–15:00

RA 2503

Ellen Wittingen

Deductive verification of SYCL in VerCors

05 November
14:00–15:00

RA 2502

Design Project Group 15


07 November
14:00–15:00


[Cancelled]


14 November
14:00–15:00

RA 2231

Arend Rensink

Nested Application Conditions

15 November
14:00–15:00

RA 2231

Joep Vorage

An overview of Graph Isomorphism in quasi-polynomial time

21 November
14:00–15:00

RA 2231

Petra van den Bos

Applying Behaviour-Driven Development for Game Creation

28 November
14:00–15:00


[Available]


29 November
13:45–14:45

RA 2237

Petrov Aleksandar

Optimizing the Value Iteration Algorithm Using SIMD Instructions


05 December
14:00–15:00

RA 4334

Pauline Blohm

[TBA]

12 December
14:00–15:00


[Available]


19 December to
02 January 2025


Winter Break


09 January
14:00–15:00


[Available]


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


[Available]


Every Thursday onwards
14:00–15:00


[Available]