Date & Time | Room | Speaker | Title |
---|---|---|---|
01 December | Gianluca Curzi | Infinitary cut-elimination via finite approximations | |
05 December | Reiko Heckel | Graph Rewriting in Teaching, Software Engineering and Machine Learning | |
07 December | Alexander Stekelenburg | Combining Progress Measures and Tangle Learning | |
14 December | Suzanne van der Veen | A Formal Proof for the Correctness of Tangle Learning in Isabelle/HOL | |
Holiday break | |||
2024 | |||
10 January | Philip Tasche | Deductive Verification of Parameterized Embedded Systems modeled in SystemC | |
18 January | Marijn Peppelman | Statistical Model Checking with Rare Event Simulation | |
25 January | Suzanne van der Veen | [TBA] | |
[TBA] |
The FMT Colloquia is typically held in person every Thursday from 15:45 to 16:45, unless otherwise specified.