From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 65E617F7B4 for ; Mon, 10 Feb 2014 03:06:06 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of amal@ccs.neu.edu) identity=pra; client-ip=129.10.116.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="amal@ccs.neu.edu"; x-sender="amal@ccs.neu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of amal@ccs.neu.edu) identity=mailfrom; client-ip=129.10.116.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="amal@ccs.neu.edu"; x-sender="amal@ccs.neu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@amber.ccs.neu.edu) identity=helo; client-ip=129.10.116.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="amal@ccs.neu.edu"; x-sender="postmaster@amber.ccs.neu.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag8BAMsz+FKBCnQzmWdsb2JhbABZg0S/U4FWFg4BAQEBAQgLCwcUKINEME+IOA2YSqddh28XjxqCGQ9mgRQEiUmkTg X-IPAS-Result: Ag8BAMsz+FKBCnQzmWdsb2JhbABZg0S/U4FWFg4BAQEBAQgLCwcUKINEME+IOA2YSqddh28XjxqCGQ9mgRQEiUmkTg X-IronPort-AV: E=Sophos;i="4.95,815,1384297200"; d="scan'208,217";a="48403089" Received: from amber.ccs.neu.edu ([129.10.116.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 10 Feb 2014 03:06:04 +0100 Received: from zimbra.ccs.neu.edu ([129.10.116.59]) by amber.ccs.neu.edu with esmtp (Exim 4.69) (envelope-from ) id 1WCgG2-0006LG-Qt for caml-list@yquem.inria.fr; Sun, 09 Feb 2014 21:06:02 -0500 Received: from localhost (localhost [127.0.0.1]) by zimbra.ccs.neu.edu (Postfix) with ESMTP id A9D461054002 for ; Sun, 9 Feb 2014 21:06:02 -0500 (EST) X-Virus-Scanned: amavisd-new at zimbra.ccs.neu.edu Received: from zimbra.ccs.neu.edu ([127.0.0.1]) by localhost (zimbra.ccs.neu.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id mRb3VdSWrmYN for ; Sun, 9 Feb 2014 21:05:58 -0500 (EST) Received: from sedona.home (pool-100-40-43-176.prvdri.fios.verizon.net [100.40.43.176]) by zimbra.ccs.neu.edu (Postfix) with ESMTP id D1195F5C00E for ; Sun, 9 Feb 2014 21:05:57 -0500 (EST) From: Amal Ahmed Content-Type: multipart/alternative; boundary="Apple-Mail=_4519C295-7D82-412A-A4D1-5B1229BB4CFC" Date: Sun, 9 Feb 2014 21:05:56 -0500 Message-Id: To: caml-list@yquem.inria.fr Mime-Version: 1.0 (Apple Message framework v1283) X-Mailer: Apple Mail (2.1283) X-Validation-by: amal@ccs.neu.edu Subject: [Caml-list] Oregon Programming Languages Summer School, 2014 --Apple-Mail=_4519C295-7D82-412A-A4D1-5B1229BB4CFC Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii We are pleased to announce the preliminary program for the 13th annual=20 Oregon Programming Languages Summer School (OPLSS) to be held June 16th=20 to 28th, 2014 at the University of Oregon in Eugene. The registration=20 deadline will be April 14th, 2014. This year's program is titled Types, Logic, Semantics, and Verification=20 and features the following speakers:=20 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:=20 http://www.cs.uoregon.edu/Activities/summerschool/summer14/ =2E Amal Ahmed Greg Morrisett --Apple-Mail=_4519C295-7D82-412A-A4D1-5B1229BB4CFC Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii We are pleased to announce= the preliminary program for the 13th annual 
Oregon Programm= ing Languages Summer School (OPLSS) to be held June 16th 
to 28th, 2014 at the University of Oregon in Eugene. &nbs= p;The registration 
deadline will be April 14th,&n= bsp;2014.

This year's program is titled Types, = Logic, Semantics, and Verification 
and featu= res the following speakers: 

Andrew Appel -- Software Ve= rification
Princeton University

Lars Bir= kedal -- Category Theory
Aarhus University

Dere= k Dreyer -- Modular Reasoning about Stateful Programs
Max Planck In= stitute for Software Systems

Robert Harper -- Type Theory= Foundations
Carnegie Mellon University

Greg Morrisett -- Certifi= ed Programming and State
Harvard University

Ulf= Norell -- Programming in Agda
Chalmers University of Technology

=
Brigitte Pientka -- Proof Theory Foundations
McGill Un= iversity

Stephanie Weirich -- Designing Dependently-Typed Pro= gramming Languages
University of Pennsylvania

Steve Zdancewic -- = Software Foundations in Coq
University of Pennsylvania

Full infor= mation on registration and scholarships will be available shortly at: =
http://www.cs.uoregon.edu/Activities/summerschool/summer14/
.
Amal Ahmed
Greg Morrisett

= --Apple-Mail=_4519C295-7D82-412A-A4D1-5B1229BB4CFC--