Gave a talk at MSP 101 Title: Sorted Lists and Free Idempotent Commutative Monoids Sean Watters 27 Jan 2023 abstract Talk Local Seminar sorted list finite sets free idempotent commutative monoid
Gave a talk at MSP 101 Title: A Tour of Temporal Logic Sean Watters 10 Nov 2021 abstract slides youtube Talk Local Seminar introductory temporal logic model checking