This will be of interest to many Haskellers. The line up is always outstanding, Oregon is lovely in the summer, and you can drop by Galois while you're here :-) -- Don ----- Forwarded message from Robert Harper ----- Date: Wed, 12 Jan 2011 16:49:46 -0500 From: Robert Harper To: types-announce@lists.seas.upenn.edu Cc: pierre-louis curien Subject: [TYPES/announce] Oregon Programming Languages Summer School [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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 ----- End forwarded message -----