Introduction to DeepSpec (DSW 2017 - Deep Specifications in the Wild 2017)

Write a Blog >>

Sun 18 - Fri 23 June 2017 Barcelona, Spain

co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

Who

Lennart Beringer, Adam Chlipala

Track

DSW 2017

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Abstract

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

Lennart Beringer

Princeton University

United States

Adam Chlipala

Massachusetts Institute of Technology, USA