From: Amal Ahmed <amal@ccs.neu.edu>
To: caml-list@yquem.inria.fr
Subject: [Caml-list] Oregon Programming Languages Summer School, 2014
Date: Sun, 9 Feb 2014 21:05:56 -0500 [thread overview]
Message-ID: <E2FC6436-D4A8-4DDC-A9BD-EEBF076391C2@ccs.neu.edu> (raw)
[-- Attachment #1: Type: text/plain, Size: 1237 bytes --]
We are pleased to announce the preliminary program for the 13th annual
Oregon Programming Languages Summer School (OPLSS) to be held June 16th
to 28th, 2014 at the University of Oregon in Eugene. The registration
deadline will be April 14th, 2014.
This year's program is titled Types, Logic, Semantics, and Verification
and features the following speakers:
Andrew Appel -- Software Verification
Princeton University
Lars Birkedal -- Category Theory
Aarhus University
Derek Dreyer -- Modular Reasoning about Stateful Programs
Max Planck Institute for Software Systems
Robert Harper -- Type Theory Foundations
Carnegie Mellon University
Greg Morrisett -- Certified Programming and State
Harvard University
Ulf Norell -- Programming in Agda
Chalmers University of Technology
Brigitte Pientka -- Proof Theory Foundations
McGill University
Stephanie Weirich -- Designing Dependently-Typed Programming Languages
University of Pennsylvania
Steve Zdancewic -- Software Foundations in Coq
University of Pennsylvania
Full information on registration and scholarships will be available shortly at:
http://www.cs.uoregon.edu/Activities/summerschool/summer14/
.
Amal Ahmed
Greg Morrisett
[-- Attachment #2: Type: text/html, Size: 1875 bytes --]
reply other threads:[~2014-02-10 2:06 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=E2FC6436-D4A8-4DDC-A9BD-EEBF076391C2@ccs.neu.edu \
--to=amal@ccs.neu.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;
as well as URLs for NNTP newsgroup(s).