coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Oregon Programming Languages Summer School - call for participation

From: "Pierce Benjamin C." <bcpierce AT cis.upenn.edu>
To: coq-club AT inria.fr
Cc: Bob Constable <rc AT cs.cornell.edu>
Subject: [Coq-Club] Oregon Programming Languages Summer School - call for participation
Date: Wed, 15 Feb 2012 23:09:36 -0500

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

   http://www.cs.uoregon.edu/Activities/summerschool

Looking forward to a great program!

Zena Ariola
Robert Constable
Benjamin Pierce

[Coq-Club] Oregon Programming Languages Summer School - call for participation, Pierce Benjamin C.