[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Due to very high demand, we are expanding the enrollment for this year's summer school, and will consider applications up to April 30, 2010.
The annual University of Oregon Programming Languages Summer School will be held June 15-25, 2010 in Eugene, Oregon. This year's theme is Logic, Languages, Compilation, and Verification, and features an impressive roster of speakers, including Robert Constable (Cornell), Anupam Datta (Carnegie Mellon), Robert Harper (Carnegie Mellon), Xavier Leroy (INRIA), Conor McBride (Strathclyde), Greg Morrisett (Harvard), Frank Pfenning (Carnegie Mellon), Benjamin Pierce (Penn), and Andrew Tolmach (Portland State).
Please see http://www.cs.uoregon.edu/Activities/summerschool/summer10/ for complete information about this year's summer school.
We look forward to a great program! Zena Ariola Pierre-Louis Curien Robert Harper Hugo Herbelin
Description: S/MIME cryptographic signature