Upcoming FMT Group Colloquia

Date & Time

Room

Speaker

Title

21 March
15:45–16:45

RA 3334

Bram Hagens

Constraint-Based Procedural Generation

28 March
15:45–16:45

RA 3334

Jelle Hulter

LLM-Driven linting: A preliminary evaluation of utilizing LLMs to automatically address linter errors

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

Yanni Dong

Are model checkers wrong?

25 April
16:00–17:00

RA 3334

David Jansen


02 May
16:00–17:00

[TBA]

Maria Belen Rodriguez

[TBA]

09 May
16:00–17:00


Ascension Day


16 May
16:00–17:00

[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.