Ben Simner
home
calendar
contact
publications
cv
photos
about
GitHub
CL@CAM
dblp
orcid
admin
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
¶
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
