|
Some recent talks
One, Two, SAMSA, June 2025, Warsaw
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.
|