Write a Blog >>
Thu 22 Jun 2017 09:00 - 09:15 at Vertex WS216 - Intro & industry perspective on crypto Chair(s): Andrew Appel

Welcome to the workshop! We’ll start with a brief overview of the DeepSpec project and our goals for the day.

Thu 22 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

dsw-2017-papers
09:00 - 10:00: DSW 2017 - Intro & industry perspective on crypto at Vertex WS216
Chair(s): Andrew AppelPrinceton
dsw-2017-papers09:00 - 09:15
Day opening
Lennart BeringerPrinceton University, Adam ChlipalaMassachusetts Institute of Technology, USA
dsw-2017-papers09:15 - 10:00
Talk