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 | RA 2503 | Ellen Wittingen | Deductive verification of SYCL in VerCors |
05 November | RA 2502 | Design Project Group 15 | |
07 November | [Cancelled] | ||
14 November | RA 2231 | Arend Rensink | Nested Application Conditions |
15 November | RA 2231 | Joep Vorage | An overview of Graph Isomorphism in quasi-polynomial time |
21 November | RA 2231 | Petra van den Bos | Applying Behaviour-Driven Development for Game Creation |
28 November | [Available] | ||
29 November | RA 2237 | Petrov Aleksandar | Optimizing the Value Iteration Algorithm Using SIMD Instructions |
05 December | RA 4334 | Pauline Blohm | [TBA] |
12 December | [Available] | ||
19 December to | Winter Break | ||
09 January | [Available] | ||
16 January | [Available] | ||
23 January | RA 3231 | Dilian Gurov | An Abstract Contract Theory for Programs with Procedures |
30 January | [Available] | ||
Every Thursday onwards | [Available] |