Type, Semantics, and Verification June 16-July 1, 2011
The Department of Computer and Information Science at the University of Oregon is sponsoring the tenth annual Oregon Summer School in Programming Languages entitled "Type, Semantics, and Verification" June 16-July 1, 2011.
Speakers include:
Amal Ahmed, Indiana University
Andrew Appel, Princeton University
Nick Benton, Microsoft Research
Robert Constable, Cornell University
Pierre-Louis Curien, pi.r2 team, PPS, CNRS-Paris Diderot University-INRIA
Robert Harper, Carnegie Mellon University
Hugo Herbelin, pi.r2 team, PPS, CNRS-Paris Diderot University-INRIA
Xavier Leroy, INRIA
Paul-AndreĢ Mellies, PPS, CNRS-Paris Diderot University
Greg Morrisett, Harvard University
Frank Pfenning, Carnegie Mellon University
Benjamin Pierce, University of Pennsylvania
Dana Scott, Carnegie Mellon University
For more information, go to: www.cs.uoregon.edu/Activities/summerschool/summer11/.