[TYPES/announce] Oregon Programming Languages Summer School

[Robert Harper]

We are pleased to announce the preliminary program for the 10th annual  
Oregon Programming Languages Summer School (OPLSS) to be held 15 June  
to 1 July 2011 at the University of Oregon in Eugene.  This year's  
program is titled Types, Semantics, and Verification, and features the  
following speakers:

Amal Ahmed   Logical relations
Indiana University

Andrew Appel       Software verification
Princeton University

Nick Benton     Monadic effects
Microsoft Research

Robert Constable
Cornell University

Pierre-Louis Curien  Polarization and Focalization
pi.r2 team, PPS, CNRS-Paris 7 University-INRIA

Robert Harper      Type theory foundations
Carnegie Mellon University

Hugo Herbelin    Foundation of Coq
pi.r2 team, PPS, CNRS-Paris 7 University-INRIA

Xavier Leroy  Compiler verification
INRIA

Paul-Andre' Mellies   Category theory
pi.r2 team, PPS, CNRS-Paris 7 University-INRIA

Greg Morrisett     Ynot programming
Harvard University

Frank Pfenning    Proof theory foundations
Carnegie Mellon University

Benjamin Pierce     Software foundation in Coq
University of Pennsylvania

Dana Scott
Carnegie Mellon University

Full information on registration will be available shortly at http://www.cs.uoregon.edu/Activities/summerschool/summer11 
.

Robert Harper
Zena Ariola
Pierre-Louis Curien