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