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