From: Prof Robert Harper <rwh@cs.cmu.edu>
To: caml-list@yquem.inria.fr
Subject: [Caml-list] OPLSS 2015
Date: Sun, 22 Feb 2015 14:37:59 -0500 [thread overview]
Message-ID: <DD9F8DA3-E40F-4029-9501-D524CA3E491A@cs.cmu.edu> (raw)
[-- 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 --]
reply other threads:[~2015-02-22 19:38 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=DD9F8DA3-E40F-4029-9501-D524CA3E491A@cs.cmu.edu \
--to=rwh@cs.cmu.edu \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox