The FMT Colloquia are typically held in person every Thursday from 16:00 to 17:00,
unless otherwise specified.
Date & Time | Room | Speaker | Title |
---|---|---|---|
25 April | David Jansen | Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS | |
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] |