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

11 April
16:00–17:00

RA 3334

[Canceled]


18 April
11:00–12:00

RA 4231

Design Project Groups

  • ETAPS Conference Support System 1.1: Optimizing Stakeholder Experience
  • ParityGames.io: GUI for Parity Game Research and Teaching
  • Improving the VSCode VerCors extension
  • FMT: Teacher Assistant Database

18 April
16:00–17:00

RA 2501

Yanni Dong

Are model checkers wrong?

25 April
16:00–17:00

RA 3334

David Jansen

[TBA]

02 May
16:00–17:00

RA 2503

Maria Belen Rodriguez

Putting together a Mission Operations Center: software development in the space industry

09 May
16:00–17:00


Ascension Day
Holiday


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

Bram Kohlen

[TBA]

30 May
16:00–17:00

RA 2503

Petra van den Bos

[TBA]

06 June
16:00–17:00

RA 2503

[Available]


13 June
16:00–17:00

RA 2503

[Available]


20 June
16:00–17:00

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
16:00–17:00

RA 2503

[Available]


25 July
16:00–17:00

RA 2503

[Available]


01–29 August


Summer Break
Holiday


[TBA]