• Dargent (and Cogent) at POPL - 24th June 2023
• Holbert and Cogent at SPLASH - 15th December 2022
• The Trouble with Typing Type as Type - 10th September 2015
• Write your Compiler by Proving it Correct - 23rd August, 2015
• FP-SYD Coq-fight 2014 - 26th April 2014