LTL semantics at EXPRESS/SOS - 10th Nov 2024 Holbert and Cogent at SPLASH - 15th December 2022 Trifecta at Nara - 1st August 2018