This year's program is titled Types, Logic, Semantics, and Verification
and features the following speakers:
Andrew Appel -- Software Verification
Princeton University
Lars Birkedal -- Category Theory
Aarhus University
Derek Dreyer -- Modular Reasoning about Stateful Programs
Max Planck Institute for Software Systems
Robert Harper -- Type Theory Foundations
Carnegie Mellon University
Greg Morrisett -- Certified Programming and State
Harvard University
Ulf Norell -- Programming in Agda
Chalmers University of Technology
Brigitte Pientka -- Proof Theory Foundations
McGill University
Stephanie Weirich -- Designing Dependently-Typed Programming Languages
University of Pennsylvania
Steve Zdancewic -- Software Foundations in Coq
University of Pennsylvania
Full information on registration and scholarships will be available shortly at:
http://www.cs.uoregon.edu/Activities/summerschool/summer14/.
Amal Ahmed
Greg Morrisett