Date & Time | Room | Speaker | Title |
---|---|---|---|
21 March | Bram Hagens | Constraint-Based Procedural Generation | |
28 March | Jelle Hulter | LLM-Driven linting: A preliminary evaluation of utilizing LLMs to automatically address linter errors | |
04 April | Marieke Huisman | First Steps towards Deductive Verification of LLVM IR | |
04 April | Lars van den Haak | HaliVer: Deductive Verification and Scheduling Languages Join Forces | |
11 April | Georgios Argyris | Minimization of dynamical systems over monoids | |
18 April | Yanni Dong | Are model checkers wrong? | |
25 April | David Jansen | ||
02 May | [TBA] | Maria Belen Rodriguez | [TBA] |
09 May | Ascension Day | ||
16 May | [TBA] | Fernando Castor de Lima Filho | Energy and Performance: A (sometimes) synergistic relationship |
[TBA] |
The FMT Colloquia are typically held in person every Thursday from 15:45 to 16:45 (from 16:00 to 17:00 starting April 2024), unless otherwise specified.