HomeNews & eventsUpcoming FMT Group Colloquia

Upcoming FMT Group Colloquia

The FMT Colloquia are typically held in person every Thursday from 16:00 to 17:00,
unless otherwise specified.

Date & Time

Room

Speaker

Title

16 May
16:00–17:00

RA 2503

Fernando Castor de Lima Filho

Energy and Performance: A (sometimes) synergistic relationship

23 May
16:00–17:00

RA 2503

[Cancelled]


30 May
16:00–16:40

RA 2503

Petra van den Bos

Where Model-Based Testing Meets Software Engineering

06 June
16:00–17:00

RA 2503

Bram Kohlen

Fast verified SCCs and MECs for probabilistic model checking

13 June
16:00–16:45

RA 2503

Naum Tomov

Extensibility Of Domain-Specific Languages: A Case Study of an Industrial DSL

20 June
16:00–16:40

RA 2503

Peter Lammich

Fast and Verified UNSAT Certificate Checking

27 June
16:00–17:00

RA 2503

Georgios Argyris

Minimization of dynamical systems over monoids

04 July
16:00–17:00

RA 2503

[Available]


11 July
16:00–17:00

RA 2503

[Available]


18 July – 29 August


Summer Break
Holiday


05 September
16:00–17:00


[Reserved]


12 September
16:00–17:00


Wytse Oortwijn

[TBA]

[TBA]