The FMT Colloquia are typically held in person every Thursday from 14:00 to 15:00, unless otherwise specified.
Date & Time | Room | Speaker | Title |
|---|---|---|---|
17 October | RA 2501 | Faisal Nizamudeen | JavaScript - Past, Present, and Future |
24 October | RA 4231 | Philip Tasche | Automated Invariant Generation for Embedded Systems |
31 October | RA 2503 | Ellen Wittingen | Deductive verification of SYCL in VerCors |
07 November | [Cancelled] | ||
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] |
