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

TBA

Sat 22 Jun

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