| 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 | Derivatives for containers in univalent foundations | Philipp Joram (Tallinn University of Technology) |
| Thu 16 Apr | An introduction to Sweedler Theory | Ulrik Sørgaard Djupvik (Tallinn University of Technology) |
| Thu 4 Jun | Denotational Semantics of a Relational λ-Calculus | Mariana Milicich (University of Tartu) |
| Thu 11 Jun | Quotients for Enumerable Types | Lulof Pirée (Tallinn University of Technology) |
| Thu 18 Jun @ 11:30 | Generalized decidability from constructive ordinals | Nicolai Kraus (University of Nottingham) |
Thu 18 Jun @ 14:00 | Semantic analysis of classical and polarized calculi | Vikraman Choudhury (University of Strathclyde) |
| Thu 2 Jul | Monads are monadic and locally presentable: a double perspective | Theofilos Tsantilas (National Technical University of Athens) |
| Fri 24 Jul | TBA | Bjarki Gunnarsson (University of Iceland) |