Holbert and Cogent at SPLASH - 15th December 2022 What is abstraction anyway? - 8th July, 2017 A Lattice of Languages is a Verification Buffet - 16th June 2015 FP-SYD Coq-fight 2014 - 26th April 2014 Imperative Reasoning is Hard - 13th November 2013