* [Caml-list] OPLSS 2015
@ 2015-02-22 19:37 Prof Robert Harper
0 siblings, 0 replies; only message in thread
From: Prof Robert Harper @ 2015-02-22 19:37 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/plain, Size: 1148 bytes --]
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/ <https://www.cs.uoregon.edu/research/summerschool/>
Please address all inquiries to summerschool@cs.uoregon.edu <mailto:summerschool@cs.uoregon.edu>.
Best regards from the OPLSS 2015 organizers,
Robert Harper
Greg Morrisett
Zena Ariola
[-- Attachment #2: Type: text/html, Size: 7137 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-02-22 19:38 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-02-22 19:37 [Caml-list] OPLSS 2015 Prof Robert Harper
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).