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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6C49B7EF10 for ; Sun, 22 Feb 2015 20:38:03 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rwh@cs.cmu.edu) identity=pra; client-ip=128.2.217.201; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rwh@cs.cmu.edu"; x-sender="rwh@cs.cmu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rwh@cs.cmu.edu) identity=mailfrom; client-ip=128.2.217.201; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rwh@cs.cmu.edu"; x-sender="rwh@cs.cmu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@SMTP02.srv.cs.cmu.edu) identity=helo; client-ip=128.2.217.201; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rwh@cs.cmu.edu"; x-sender="postmaster@SMTP02.srv.cs.cmu.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AnAgAUL+pUmcnZAoBbg1hasD2SSgEJhXCBHUMBAQEBAQEQAQEBAQEICwsHFBoUhWlIBSqILw2qO6JHhHMBGwSGB4ZJgy0hghcMQR2BFAWEXYVtj2aDFY8DgXM+gX1RAYJCAQEB X-IPAS-Result: A0AnAgAUL+pUmcnZAoBbg1hasD2SSgEJhXCBHUMBAQEBAQEQAQEBAQEICwsHFBoUhWlIBSqILw2qO6JHhHMBGwSGB4ZJgy0hghcMQR2BFAWEXYVtj2aDFY8DgXM+gX1RAYJCAQEB X-IronPort-AV: E=Sophos;i="5.09,626,1418079600"; d="scan'208,217";a="122889530" Received: from smtp02.srv.cs.cmu.edu ([128.2.217.201]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Feb 2015 20:38:01 +0100 Received: from necessity.types.cs.cmu.edu.home (pool-72-77-58-77.pitbpa.fios.verizon.net [72.77.58.77]) (authenticated bits=0) by SMTP02.srv.cs.cmu.edu (8.13.6/8.13.6) with ESMTP id t1MJbAnC012585 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sun, 22 Feb 2015 14:37:59 -0500 (EST) From: Prof Robert Harper Content-Type: multipart/alternative; boundary="Apple-Mail=_097E21C5-ED22-47B6-BE20-5A2FB5FF0BDD" Message-Id: Date: Sun, 22 Feb 2015 14:37:59 -0500 To: caml-list@yquem.inria.fr Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) X-Mailer: Apple Mail (2.2070.6) X-Scanned-By: mimedefang-cmuscs on 128.2.217.201 X-Validation-by: rwh@cs.cmu.edu Subject: [Caml-list] OPLSS 2015 --Apple-Mail=_097E21C5-ED22-47B6-BE20-5A2FB5FF0BDD Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii We are pleased to announce the preliminary program for the 14th annual Ore= gon Programming Languages Summer School (OPLSS) to be held June 15th to 27t= h, 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:=20 https://www.cs.uoregon.edu/research/summerschool/ Please address all inquiries to summerschool@cs.uoregon.edu . Best regards from the OPLSS 2015 organizers, Robert Harper Greg Morrisett Zena Ariola --Apple-Mail=_097E21C5-ED22-47B6-BE20-5A2FB5FF0BDD Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii
We are pleased to announce the preliminary program for the 14th ann= ual Oregon Programming Languages Summer School (OPLSS)= to be held June 15th to 27th, 2015 at the University o= f Oregon in Eugene.

This year's program is titled Ty= pes, Logic, Semantics, and Verification and features th= e following speakers:

Ama= l Ahmed
Northeastern University

Nick Benton
Microsoft Cambr= idge Research Lab

Adam Chlipala
Massachusetts Institute of Tec= hnology

Robert Co= nstable
Cornell University

Peter Dybjer
Chalmers U= niversity of Technology

Robert Harper
Carnegie Mellon University
=

Ed Morehouse
Carnegie Mellon University

Greg Morrise= tt
Harvard University
=

Frank Pfenning
Carnegie Mellon Uni= versity

The registration deadline is March 1= 6, 2015.

Full information on registration and schola= rships will be available shortly at: 
https://www.cs=
.uoregon.edu/research/summerschool/
<=
font face=3D"Helvetica" class=3D"">Please address all inquiries to summerschool@cs.uoregon.edu.
Best regards from the OPLSS 2015 organiz=
ers,
Robert Harper
Greg Morrisett
Zena Ariola



=

--Apple-Mail=_097E21C5-ED22-47B6-BE20-5A2FB5FF0BDD--