| Time | Title | Speaker |
|---|---|---|
| Thu 28 Aug | Context-independent derivative of regexes with lookarounds | Léopold Gravier (Mines Paris - PSL) |
| Wed 15 Oct | Regex Decision Procedures in Extended RE# | Margus Veanes (Microsoft Research Redmond) |
| Thu 13 Nov | The free bifibration on a functor | Bryce Clarke (Tallinn University of Technology) |
| Thu 20 Nov | Automata dynamics modelled via monoid actions | Lulof Pirée (Tallinn University of Technology) |
| Thu 4 Dec | Regular expressions with quantifiers | Ekaterina Zhuchko (Tallinn University of Technology) |
| Thu 11 Dec | Di- is for Directed: First-Order Directed Type Theory via Dinaturality | Andrea Laretto (Tallinn University of Technology) |
| Thu 18 Dec | A survey of Morita theorems for associative algebras | Ulrik Sørgaard Djupvik (Tallinn University of Technology) |
| Fri 6 Feb | Achiral and chiral involutive categories | Robin Cockett (University of Calgary) |
| Fri 20 Feb | Amortised cost analysis via graded types, and its semantics | Dominic Orchard (University of Kent and University of Cambridge) |
| Thu 12 Mar | On the centre of strong graded monads, and relative monads for quantum effects | Quan Long |
| Thu 19 Mar | TBA | Philipp Joram (Tallinn University of Technology) |