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

Mon 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Deep SpecificationsDeepSpec at Columbus Ballroom B
09:00
60m
Talk
The Science of Deep Specification
DeepSpec
Andrew W. Appel Princeton
10:00
30m
Talk
CakeML: from functions to machine code with proof all the way
DeepSpec
Magnus O. Myreen Chalmers University of Technology, Sweden