The FMT Colloquia are typically held in person every Thursday from 14:00 to 15:00, unless otherwise specified.
Date & Time | Room | Speaker | Title |
|---|---|---|---|
05 September | ZI 4070 | Reza Soltani | Safety-security analysis via Attack-Fault-Defense Trees: semantics and cut set metrics |
10 September | RA 3334 | Paulo Borba | Detecting Semantic Conflicts using Static Analysis |
12 September | DR 102A | Wytse Oortwijn | Synthesis-Based Engineering of Supervisory Controllers |
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 | Ömer Şakar | [TBA] |
07 November | [Available] | ||
14 November | [TBA] | Arend Rensink | Nested Application Conditions |
21 November | [Available] | ||
28 November | [Available] | ||
05 December | [Available] | ||
12 December | [Available] | ||
19 December to | Winter Break | ||
Every Thursday onwards | [Available] |