[TYPES/announce] Oregon Programming Languages Summer School - call for participation

[Pierce Benjamin C.]

We are pleased to announce this year's program for the University of Oregon Programming Languages Summer School, to be held from the 16th to the 28th of July, 2012 in Eugene, Oregon.  This year's program, on the themes of Logic, Languages, Compilation, and Verification, features an impressive roster of speakers, including Amal Ahmed (Northeastern), Steve Awodey (Carnegie Mellon), Robert Constable (Cornell), Robert Harper (Carnegie Mellon), John Hughes (Chalmers), Xavier Leroy (INRIA), Andrew Myers (Cornell), Frank Pfenning (Carnegie Mellon), Benjamin Pierce (Penn).

The registration deadline is April 16th.  Full information on registration and scholarships an be found at

    http://www.cs.uoregon.edu/Activities/summerschool

Looking forward to a great program!

Zena Ariola
Robert Constable
Benjamin Pierce