[TYPES/announce] Oregon Programming Languages Summer School : Expanded Enrollment and Extended Deadline

[Robert Harper]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3910 bytes
Desc: not available
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100413/f716b7bd/smime.p7s