We are pleased to announce the preliminary program for the 14th annual Oregon Programming Languages Summer School (OPLSS) to be held June 15th to 27th, 2015 at the University of Oregon in Eugene.
This year's program is titled Types, Logic, Semantics, and Verification and features the following speakers:
Amal Ahmed
Northeastern University
Nick Benton
Microsoft Cambridge Research Lab
Adam Chlipala
Massachusetts Institute of Technology
Robert Constable
Cornell University
Peter Dybjer
Chalmers University of Technology
Robert Harper
Carnegie Mellon University
Ed Morehouse
Carnegie Mellon University
Greg Morrisett
Harvard University
Frank Pfenning
Carnegie Mellon University
The registration deadline is March 16, 2015.
Full information on registration and scholarships will be available shortly at: