LTL semantics at EXPRESS/SOS - 10th Nov 2024 Dargent (and Cogent) at POPL - 24th June 2023 Holbert and Cogent at SPLASH - 15th December 2022 SAPLING 2013 - 16th December 2013 APLAS/CPP 2013 Highlights - 13th December 2013