Upcoming FMT Group Colloquia

Date & Time

Room

Speaker

Title

29 February
15:45–16:45

RA 3334

Valentijn Hol

Facilitating Various Metaprogramming Techniques in Rust

04 March
15:45–16:45

RA 2231

Mark van Wijk

Multi-Objective Properties for Modest

07 March
15:45–16:45

RA 2501

Tannaz Zameni

An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing

14 March
15:45–16:45

RA 3334

Peter Smit

[TBA]

21 March
15:45–16:45

RA 3334

Bram Hagens

Constraint-Based Procedural Generation

28 March
15:45–16:45

RA 3334

[Reserved]


04 April
16:00–17:00
(15 min.)

RA 3334

Marieke Huisman

First Steps towards Deductive Verification of LLVM IR

04 April
16:00–17:00
(30 min.)

RA 3334

Lars van den Haak

HaliVer: Deductive Verification and Scheduling Languages Join Forces

11 April
16:00–17:00

RA 3334

Georgios Argyris

Minimization of dynamical systems over monoids

18 April
16:00–17:00

RA 2501

[Available]


25 April
16:00–17:00

RA 3334

[Available]


02 May
16:00–17:00

[TBA]

Fernando Castor de Lima Filho

[TBA]

07 May
16:00–17:00


Ascension Day


[TBA]




The FMT Colloquia is typically held in person every Thursday from 15:45 to 16:45 (from 16:00 to 17:00 starting April 2024), unless otherwise specified.