is April 1st,
2017.
Full information on registration and scholarships can be found here:
http://www.cs.uoregon.edu/Activities/summerschool
This year's program is titled: A Spectrum of Types. The speakers and topics
include:
Amal Ahmed -- Correct and Secure Compilation for Multi
be found here:
http://www.cs.uoregon.edu/Activities/summerschool
This year's program is titled: A Spectrum of Types. The speakers and topics
include:
Amal Ahmed -- Correct and Secure Compilation for Multi-Language Software
Northeastern University
Edwin Brady -- Dependent Types
2 matches
Mail list logo