2025-11 Brecons
2025-10 SOSP, Korea
2025-08 Aarhus
2025-06 Tokyo
2024-11 Luss
2024-05 Helvellyn
2024-01 Lakes
2023-10 Pen y Fan
2023-05 Coniston
2022-12 Aarhus
2022-08 Wye Valley
2022-04 Stroud
2022-04 ESOP, Garching, Munich
2021-09 Peaks
2021-05 Cambridge
2020-01 POPL, New Orleans
2019-12 Google, Munich
2019-09 Arm Research Summit, Austin
2019-06 Edinburgh
