[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are pleased to announce this year's program for the University of Oregon Programming Languages Summer School, which 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. Please note that the registration deadline is MARCH 22, 2010.
We look forward to a great program! Zena Ariola Pierre-Louis Curien Robert Harper Hugo Herbelin
Description: S/MIME cryptographic signature