[TYPES/announce] University of Oregon Programming Languages Summer School

[Robert Harper]

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

-------------- 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/20100228/33930f49/smime.p7s