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: (GMT-07:00) Tijuana, Baja California change

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