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 | RA 2503 | Jaco van de Pol | [TBA] |
| [Cancelled] | ||
03 October | OH 116 | Bob Rubbens | VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory |
10 October | RA 2503 | Moritz Hahn | [TBA] |
17 October | RA 2501 | [Reserved] | |
24 October | RA 4231 | Philip Tasche | Automated Invariant Generation for Embedded Systems |
31 October | RA 2503 | Ellen Wittingen | [TBA] |
07 November | [Available] | ||
14 November | [TBA] | Arend Rensink | Nested Application Conditions |
21 November | [TBA] | Petra van den Bos | Applying Behaviour-Driven Development for Game Creation |
28 November | [Available] | ||
05 December | [Available] | ||
12 December | [Available] | ||
19 December to | Winter Break | ||
Every Thursday onwards | [Available] |