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
(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