REMSDeepSpec2020
Home
Program committee
Name
Affiliation
Steve Zdancewic
University of Pennsylvania
Peter Sewell
chair
University of Cambridge
Neel Krishnaswami
University of Cambridge
Magnus Myreen
Chalmers University of Technology
Lennart Beringer
chair
Princeton University