Oregon Programming Languages Summer SchoolOregon Programming Languages Summer School — June 16-28, 2014 Types, Logic, Semantics, and Verification Speakers Organizers Curriculum Schedule Participants Venue Preparation Several of the course lecture sequences will assume basic familiarity with the use of the Coq proof assistant. In particular, the lecture sequence Software Foundations in Coq, based on the book of the same name [available onl
