We are pleased to announce the preliminary program for the 13th annual 
Oregon Programming Languages Summer School (OPLSS) to be held June 16th 
to 28th, 2014 at the University of Oregon in Eugene.  The registration 
deadline will be April 14th, 2014.

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