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 | [Canceled] | ||
18 April | Design Project Groups |
| |
18 April | Yanni Dong | Are model checkers wrong? | |
25 April | David Jansen | [TBA] | |
02 May | Maria Belen Rodriguez | Putting together a Mission Operations Center: software development in the space industry | |
09 May | Ascension Day | ||
16 May | Fernando Castor de Lima Filho | Energy and Performance: A (sometimes) synergistic relationship | |
23 May | Bram Kohlen | [TBA] | |
30 May | Petra van den Bos | [TBA] | |
06 June | [Available] | ||
13 June | [Available] | ||
20 June | Peter Lammich | Fast and Verified UNSAT Certificate Checking | |
27 June | Georgios Argyris | Minimization of dynamical systems over monoids | |
04 July | [Available] | ||
11 July | [Available] | ||
18 July | [Available] | ||
25 July | [Available] | ||
01–29 August | Summer Break | ||
[TBA] |