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 022E37F8A0 for ; Mon, 7 Apr 2014 19:31:23 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of amal@ccs.neu.edu) identity=pra; client-ip=129.10.116.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="amal@ccs.neu.edu"; x-sender="amal@ccs.neu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of amal@ccs.neu.edu) identity=mailfrom; client-ip=129.10.116.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="amal@ccs.neu.edu"; x-sender="amal@ccs.neu.edu"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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: AtUBACvgQlOBCnQzmWdsb2JhbABZg0G9RYhfFg4BAQEBAQYNCwcUKIJEBYomDZphqxiGFBeRJg9ngRQErmY X-IPAS-Result: AtUBACvgQlOBCnQzmWdsb2JhbABZg0G9RYhfFg4BAQEBAQYNCwcUKIJEBYomDZphqxiGFBeRJg9ngRQErmY X-IronPort-AV: E=Sophos;i="4.97,811,1389740400"; d="scan'208,217";a="66947325" Received: from amber.ccs.neu.edu ([129.10.116.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 07 Apr 2014 19:31:21 +0200 Received: from zimbra.ccs.neu.edu ([129.10.116.59]) by amber.ccs.neu.edu with esmtp (Exim 4.69) (envelope-from ) id 1WXDOB-00062f-KX for caml-list@yquem.inria.fr; Mon, 07 Apr 2014 13:31:19 -0400 Received: from localhost (localhost [127.0.0.1]) by zimbra.ccs.neu.edu (Postfix) with ESMTP id 92947F5C014 for ; Mon, 7 Apr 2014 13:31:19 -0400 (EDT) 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 k-JnlP1rBU8s for ; Mon, 7 Apr 2014 13:31:14 -0400 (EDT) Received: from cola.ccs.neu.edu (syrah.ccs.neu.edu [129.10.110.48]) by zimbra.ccs.neu.edu (Postfix) with ESMTP id 273A3F5C017 for ; Mon, 7 Apr 2014 13:31:14 -0400 (EDT) From: Amal Ahmed Content-Type: multipart/alternative; boundary="Apple-Mail=_D813E469-4D61-4894-9D2F-4EE21E5FC21C" Date: Mon, 7 Apr 2014 13:31:14 -0400 Message-Id: <9DA3FB23-9733-4F14-B06C-1D806153EFF7@ccs.neu.edu> 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 PL Summer School: call for participation --Apple-Mail=_D813E469-4D61-4894-9D2F-4EE21E5FC21C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii This year's Oregon Programming Languages Summer School will take place from= June 16th to 28th, 2014. The registration deadline is April 14th. Full i= nformation on registration and scholarships an be found here: http://www.cs.uoregon.edu/Activities/summerschool The school has a long and successful tradition (sponsored by the NSF, ACM S= IGPLAN, and industry). It covers current research in the theory and practi= ce of programming languages. Material is presented at a tutorial level tha= t will help graduate students and researchers from academia or industry und= erstand the critical issues and open problems confronting the field. Prere= quisites are an elementary knowledge of logic and mathematics, as covered i= n undergraduate classes on discrete mathematics, and some knowledge of prog= ramming languages at the level of an undergraduate survey course.=20 This year we will again offer a Coq boot camp session, to be held on June 1= 5th -- one day before the summer school officially begins. The boot camp w= ill provide a one-day, intensive, hands-on introduction to the practical me= chanics of the Coq proof assistant. The Coq boot camp will be run by Micha= el Clarkson (George Washington University). More information is available = at the above website.=20 This year's program is titled Types, Logic, Semantics, and Verification. T= he speakers and topics include:=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 We hope you can join us for this excellent program! Amal Ahmed Zena Ariola Greg Morrisett OPLSS 2014 organizers --Apple-Mail=_D813E469-4D61-4894-9D2F-4EE21E5FC21C Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii 
This year's Oregon Programming Languages Summer =
School will take place from June 16th to 28th, 2014.  The registration dead=
line is April 14th.  Full information on registration and scholarships an b=
e found here:

   http://www=
.cs.uoregon.edu/Activities/summerschool

The school has a long and successful tradition (sponsored by the NSF, ACM S=
IGPLAN, and industry).  It covers current research in the theory and practi=
ce of programming languages.  Material is presented at a tutorial level tha=
t will help graduate students and researchers from academia or industry und=
erstand the critical issues and open problems confronting the field.  Prere=
quisites are an elementary knowledge of logic and mathematics, as covered i=
n undergraduate classes on discrete mathematics, and some knowledge of prog=
ramming languages at the level of an undergraduate survey course. 
This year we will =
again offer a Coq boot camp session, to be held on June 15th -- one day bef=
ore the summer school officially begins.  The boot camp will provide a one-=
day, intensive, hands-on introduction to the practical mechanics of the Coq=
 proof assistant.  The Coq boot camp will be run by Michael Clarkson (Georg=
e Washington University).  More information is available at the above websi=
te.
This year's program is titled Types, Logic, Semantic= s, and Verification.  The speakers and topics include: 

<= /div>
Andrew Appel -- Software Verification
Princeton Un= iversity

Lars Birkedal -- Category Theory
Aarhu= s University

Derek Dreyer -- Modular Reasonin= g about Stateful Programs
Max Planck Institute for Software Systems
<= br>
Robert Harper -- Type Theory Foundations
Carnegie Mellon U= niversity

Greg Morrisett -- Certified Programming and State
Har= vard University

Ulf Norell -- Programming in AgdaChalmers University of Technology

Brigitte Pientka -- Pr= oof Theory Foundations
McGill University

Stephanie = Weirich -- Designing Dependently-Typed Programming Languages
University = of Pennsylvania

Steve Zdancewic -- Software Foundations in Coq
Un= iversity of Pennsylvania

We hope you can join us fo= r this excellent program!


Amal Ahmed
Zena A= riola
Greg Morrisett
OPLSS 2014 organizers
= --Apple-Mail=_D813E469-4D61-4894-9D2F-4EE21E5FC21C--