- 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¶
