* [PT] Oregon Programming Languages Summer School : Expanded Enrollment and Extended Deadline
@ 2010-04-13 18:36 Robert Harper
0 siblings, 0 replies; only message in thread
From: Robert Harper @ 2010-04-13 18:36 UTC (permalink / raw)
To: types-list-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8,
categories-59hdLBrVOVU, ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w,
types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB
[-- Attachment #1: Type: text/plain, Size: 901 bytes --]
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
[-- Attachment #2: smime.p7s --]
[-- Type: application/pkcs7-signature, Size: 3910 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-04-13 18:36 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-04-13 18:36 [PT] Oregon Programming Languages Summer School : Expanded Enrollment and Extended Deadline Robert Harper
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).