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

Pierce Benjamin C. bcpierce at cis.upenn.edu
Wed Feb 15 23:08:19 EST 2012

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


Looking forward to a great program!

Zena Ariola
Robert Constable
Benjamin Pierce

More information about the Types-announce mailing list