[TYPES/announce] Oregon Programming Languages Summer School

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