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 2DEBD7EE51 for ; Wed, 17 Apr 2013 16:03:42 +0200 (CEST) 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: AokCAPSqblGBCnQzlGdsb2JhbABQgzzCEBYOAQEBAQkLCQkUBSOCIR1aiWwMnCWYC4kRkgZhA6tB X-IPAS-Result: AokCAPSqblGBCnQzlGdsb2JhbABQgzzCEBYOAQEBAQkLCQkUBSOCIR1aiWwMnCWYC4kRkgZhA6tB X-IronPort-AV: E=Sophos;i="4.87,492,1363129200"; d="scan'208,217";a="11296608" Received: from amber.ccs.neu.edu ([129.10.116.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 17 Apr 2013 16:03:41 +0200 Received: from zimbra.ccs.neu.edu ([129.10.116.59]) by amber.ccs.neu.edu with esmtp (Exim 4.69) (envelope-from ) id 1USSxY-0003k1-CK for caml-list@yquem.inria.fr; Wed, 17 Apr 2013 10:03:40 -0400 Received: from localhost (localhost [127.0.0.1]) by zimbra.ccs.neu.edu (Postfix) with ESMTP id 4EC6C97000F for ; Wed, 17 Apr 2013 10:03:40 -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 jJfkWCsH-zjn for ; Wed, 17 Apr 2013 10:03:36 -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 588ADF5C01C for ; Wed, 17 Apr 2013 10:03:36 -0400 (EDT) From: Amal Ahmed Content-Type: multipart/alternative; boundary="Apple-Mail=_EDDC8A6E-30D4-4EE0-8E7C-B048AEEACC6F" Date: Wed, 17 Apr 2013 10:03:38 -0400 Message-Id: <318E0CB0-A1A0-42CE-BDA8-58FF372EBFB0@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: register by April 30th --Apple-Mail=_EDDC8A6E-30D4-4EE0-8E7C-B048AEEACC6F Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii *** The registration deadline for this year's Oregon PL Summer School has b= een extended to April 30th.=20 This year's Oregon Programming Languages Summer School will take place from= July 22nd to August 3rd. Full information on registration and scholarship= s 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 A new feature this year is a Coq boot camp session, to be held on July 21st= -- one day before the summer school officially begins. The boot camp will= provide a one-day, intensive, hands-on introduction to the practical mecha= nics of the Coq proof assistant. More information is available at the summ= er school website.=20 This year's program is titled Types, Logic, and Verification. The speakers= and topics include:=20 Amal Ahmed -- Logical Relations Northeastern University Robert Harper -- Type Theory Foundations Carnegie Mellon University Dan Licata -- Dependently-Typed Programming in Agda Carnegie Mellon University and Institute for Advanced Study=20 Greg Morrisett -- Coq as a Programming Language Harvard University Simon Peyton-Jones -- Adventures with Types in Haskell Microsoft Research Frank Pfenning -- Linear Logic and Session-based Concurrency Carnegie Mellon University Andrew Tolmach -- Software Foundations in Coq Portland State University Stephanie Weirich -- Designing Dependently-Typed Programming Languages University of Pennsylvania Steve Zdancewic -- Verifying LLVM Optimizations in Coq University of Pennsylvania We hope you can join us for this excellent program! Amal Ahmed Zena Ariola Bob Constable Frank Pfenning Benjamin Pierce OPLSS 2013 organizers= --Apple-Mail=_EDDC8A6E-30D4-4EE0-8E7C-B048AEEACC6F Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii 
*** The registration deadlin=
e for this year's Oregon PL Summer School has been extended to April 30th. =

This year's Oregon Pr= ogramming Languages Summer School will take place from July 22nd to August = 3rd. Full information on registration and scholarships an be found here: http://www.cs.uoregon.edu/Activities/summerscho= ol 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. 
A new feature this year is a Coq =
boot camp session, to be held on July 21st -- one day before the summer sch=
ool officially begins.  The boot camp will provide a one-day, intensive, ha=
nds-on introduction to the practical mechanics of the Coq proof assistant. =
 More information is available at the summer school website.
<= /div>
=
This year's program is titled Types, Logic, and Verification. =  The speakers and topics include: 

Amal Ahmed = -- Logical Relations
Northeastern University

Robert Harper -- T= ype Theory Foundations
Carnegie Mellon University

Dan Licata -- = Dependently-Typed Programming in Agda
Carnegie Mellon University and Ins= titute for Advanced Study 

Greg Morrisett -- Coq as a Programmi= ng Language
Harvard University

Simon Peyton-Jones -- Adventures w= ith Types in Haskell
Microsoft Research

Frank Pfenning -- Linear = Logic and Session-based Concurrency
Carnegie Mellon University

An= drew Tolmach -- Software Foundations in Coq
Portland State University
Stephanie Weirich -- Designing Dependently-Typed Programming Languages= =
University of Pennsylvania

Steve Zdancewic -- Verifying LLVM Opt= imizations in Coq
University of Pennsylvania

We hope you can jo= in us for this excellent program!

Amal Ahmed
Zena Ariola
Frank Pfenning
Benjamin Pierce
<= span class=3D"Apple-style-span" style=3D"font-family: monospace; ">OPLSS 20= 13 organizers
= --Apple-Mail=_EDDC8A6E-30D4-4EE0-8E7C-B048AEEACC6F--