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

TBA

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:30: Deep SpecificationsDeepSpec at 106B
Chair(s): Lennart BeringerPrinceton University
09:00 - 09:45
Talk
DeepSpec
Benjamin C. PierceUniversity of Pennsylvania
09:45 - 10:30
Talk
DeepSpec
Andrew AppelPrinceton, Adam ChlipalaMassachusetts Institute of Technology, USA, Zhong ShaoYale University