Oxford Verification Seminar, November 2024, Oxford.
LICS, June 2023, Boston.
IRIF Seminar, 2022, Paris.
LICS, July 2022, Haifa.
IRIF Seminar, 2021, Paris.
Oxford Seminar, 2020, Oxford.
LICS, June 2019, Vancouver.