The Madness of the Modal mu-Calculus Sean Watters 28 Oct 2024 abstract slides youtube Talk Local Seminar introductory modal mu-calculus de Bruijn indices
Extensional Finite Sets and Multisets in Type Theory Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters 13 Jun 2024 abstract extended abstract slides Talk Conference fresh lists data structures free algebraic structures
(Reflexive) Partial Monoids 101 Sean Watters 13 Oct 2023 abstract youtube Talk Local Seminar introductory partial monoids free algebraic structures
Sorted Lists and Free Idempotent Commutative Monoids Sean Watters 27 Jan 2023 abstract Talk Local Seminar sorted list finite sets free idempotent commutative monoid
A Tour of Temporal Logic Sean Watters 10 Nov 2021 abstract slides youtube Talk Local Seminar introductory temporal logic model checking