PLDI 2020
Mon 15 - Sat 20 June 2020 London, United Kingdom
Peter Sewell

Registered user since Wed 14 Sep 2016

Name: Peter Sewell

Affiliation: University of Cambridge

Personal website: http://www.cl.cam.ac.uk/~pes20/

Contributions

REMS-DeepSpec 2020Committee Member in Organizing Committee within the REMS-DeepSpec 2020-track
Show activities from other conferences

Using general profile