POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom

A day of talks in celebration of Peter O’Hearn’s scientific and industrial work. Peter is a professor of Computer Science at University College London and an Engineering Director at Lacework. All are welcome, please register to the workshop if you are planning to attend.

Confirmed speakers:

  • Byron Cook, Amazon and UCL
  • Cristiano Calcagno
  • Derek Dreyer, MPI-SWS
  • Dino Distefano, WhatsApp and QMUL
  • Hongseok Yang, KAIST
  • Jade Alglave, Arm and UCL
  • James Brotherston, UCL
  • Julien Vanegue, Bloomberg & Imperial College London
  • Mark Harman, Meta and UCL
  • Matthew Parkinson, Azure Research, Microsoft
  • Nick Benton, Meta
  • Patrice Godefroid, Lacework
  • Patrick Cousot, NYU
  • Philippa Gardner, Imperial College London
  • Steve Brookes, CMU