[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!
More information about the Types-announce