- 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 ESOP, Garching, Munich¶
- 2022-03 Thetford¶
- 2021-09 Peaks¶
- 2021-05 Cambridge¶
- 2020-01 POPL, New Orleans¶
- 2019-12 Google, Munich¶
- 2019-09 Arm Research Summit, Austin¶
- 2019-06 Edinburgh¶