[TYPES/announce] OPLSS 2015

[Prof Robert Harper]

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:

Ahmal 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/ <https://www.cs.uoregon.edu/research/summerschool/>
Please address all inquiries to summerschool at cs.uoregon.edu <mailto:summerschool at cs.uoregon.edu>.
Best regards from the OPLSS 2015 organizers,
Robert Harper
Greg Morrisett
Zena Ariola



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150220/a856662b/attachment-0001.html>