Sat 22 Jun 2019 09:45 - 10:30 at 106B - Deep Specifications Chair(s): Lennart Beringer

TBA

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 10:30
Deep SpecificationsDeepSpec at 106B
Chair(s): Lennart Beringer Princeton University
09:00
45m
Talk
Overview of the DeepSpec Expedition and its Capstone Application
DeepSpec
Benjamin C. Pierce University of Pennsylvania
09:45
45m
Talk
Project Updates from Participating Sites
DeepSpec
Andrew Appel Princeton, Adam Chlipala Massachusetts Institute of Technology, USA, Zhong Shao Yale University