Upcoming FMT Group Colloquia

01 December
15:45–16:45

RA 2503

Gianluca Curzi

Infinitary cut-elimination via finite approximations

05 December
11:00–12:00

RA 3237

Reiko Heckel

Graph Rewriting in Teaching, Software Engineering and Machine Learning

07 December
15:45–16:45

Carre 2H

Alexander Stekelenburg

Combining Progress Measures and Tangle Learning

14 December
14:45–15:45

Carre 2K

Suzanne van der Veen

A Formal Proof for the Correctness of Tangle Learning in Isabelle/HOL

Holiday break

2024

10 January
15:45–16:45

RA 4231

Philip Tasche

Deductive Verification of Parameterized Embedded Systems modeled in SystemC

18 January
15:45–16:45

RA 2503

Marijn Peppelman

Statistical Model Checking with Rare Event Simulation

25 January
15:45–16:45

RA 2503

Suzanne van der Veen

[TBA]

[TBA]