Mon 18 Jun 2018 09:00 - 10:00 at Columbus Ballroom B - Deep Specifications

Mon 18 Jun

deepspec-2018-papers
09:00 - 10:30: DeepSpec 2018 - Deep Specifications at Columbus Ballroom B
deepspec-2018-papers09:00 - 10:00
Talk
Andrew AppelPrinceton
deepspec-2018-papers10:00 - 10:30
Talk
Magnus O. MyreenChalmers University of Technology, Sweden