The Coq mailing list

[Amal Ahmed <amal AT ccs.neu.edu>]

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