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 -----
Date: Wed, 12 Jan 2011 16:49:46 -0500
From: Robert Harper
To: types-announce@lists.seas.upenn.edu
Cc: pierre-louis curien
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 -----
