The Coq mailing list

[Prof Robert Harper <rwh AT cs.cmu.edu>]

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:

https://www.cs.uoregon.edu/research/summerschool/

Please address all inquiries to summerschool AT cs.uoregon.edu.

Best regards from the OPLSS 2015 organizers,

Robert Harper

Greg Morrisett

Zena Ariola