• LTL semantics at EXPRESS/SOS - 10th Nov 2024
• Dargent (and Cogent) at POPL - 24th June 2023
• Holbert and Cogent at SPLASH - 15th December 2022
• Quickstrom at PLDI - 18th August 2022
• The latest in Cogent publications - 18th August 2022
• I’m a doctor now - 15th January 2020
• Trifecta at Nara - 1st August 2018
• Publication Storm for Cogent! - 11th June 2016
• SAPLING 2013 - 16th December 2013
• Trustworthy File Systems accepted to PLOS - 7th October 2013