[Haskell-cafe] Fwd: [TYPES/announce] Oregon Programming Languages Summer School]

[Don Stewart]

This will be of interest to many Haskellers. The line up is always
outstanding, Oregon is lovely in the summer, and you can drop by Galois
while you're here :-)

-- Don

----- Forwarded message from Robert Harper <rwh at cs.cmu.edu> -----

Date: Wed, 12 Jan 2011 16:49:46 -0500
From: Robert Harper <rwh at cs.cmu.edu>
To: types-announce at lists.seas.upenn.edu
Cc: pierre-louis curien <eu.sunt.picasso at gmail.com>
Subject: [TYPES/announce] Oregon Programming Languages Summer School

[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are pleased to announce the preliminary program for the 10th annual  
Oregon Programming Languages Summer School (OPLSS) to be held 15 June to 1 
July 2011 at the University of Oregon in Eugene.  This year's program is 
titled Types, Semantics, and Verification, and features the following 
speakers:

Amal Ahmed   Logical relations
Indiana University

Andrew Appel       Software verification
Princeton University

Nick Benton     Monadic effects
Microsoft Research

Robert Constable
Cornell University

Pierre-Louis Curien  Polarization and Focalization
pi.r2 team, PPS, CNRS-Paris 7 University-INRIA

Robert Harper      Type theory foundations
Carnegie Mellon University

Hugo Herbelin    Foundation of Coq
pi.r2 team, PPS, CNRS-Paris 7 University-INRIA

Xavier Leroy  Compiler verification
INRIA

Paul-Andre' Mellies   Category theory
pi.r2 team, PPS, CNRS-Paris 7 University-INRIA

Greg Morrisett     Ynot programming
Harvard University

Frank Pfenning    Proof theory foundations
Carnegie Mellon University

Benjamin Pierce     Software foundation in Coq
University of Pennsylvania

Dana Scott
Carnegie Mellon University

Full information on registration will be available shortly at 
http://www.cs.uoregon.edu/Activities/summerschool/summer11.

Robert Harper
Zena Ariola
Pierre-Louis Curien


----- End forwarded message -----