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 6DE267F720 for ; Tue, 15 Apr 2014 10:54:48 +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: Al4BAMXyTFOBCnQzmWdsb2JhbABYg0HFHxYOAQEBAQEICwsHFCiCRIExiH0Nmh6sEYYMF5IOgRQEnzaPPg X-IPAS-Result: Al4BAMXyTFOBCnQzmWdsb2JhbABYg0HFHxYOAQEBAQEICwsHFCiCRIExiH0Nmh6sEYYMF5IOgRQEnzaPPg X-IronPort-AV: E=Sophos;i="4.97,862,1389740400"; d="scan'208,217";a="57179349" Received: from amber.ccs.neu.edu ([129.10.116.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 15 Apr 2014 10:54:46 +0200 Received: from zimbra.ccs.neu.edu ([129.10.116.59]) by amber.ccs.neu.edu with esmtp (Exim 4.69) (envelope-from ) id 1WZz8e-0004SM-TU for caml-list@yquem.inria.fr; Tue, 15 Apr 2014 04:54:44 -0400 Received: from localhost (localhost [127.0.0.1]) by zimbra.ccs.neu.edu (Postfix) with ESMTP id D5AFBF5C015 for ; Tue, 15 Apr 2014 04:54:44 -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 EVLGM8dch9AJ for ; Tue, 15 Apr 2014 04:54:39 -0400 (EDT) Received: from [192.168.10.35] (cirm-ncd20.univ-mrs.fr [139.124.3.100]) by zimbra.ccs.neu.edu (Postfix) with ESMTP id E4A7EF5C012 for ; Tue, 15 Apr 2014 04:54:38 -0400 (EDT) From: Amal Ahmed Content-Type: multipart/alternative; boundary="Apple-Mail=_3A3A84E4-A375-4CBE-8C36-862EEDF0D3FD" Date: Tue, 15 Apr 2014 04:54:39 -0400 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 PL Summer School: register by May 2nd --Apple-Mail=_3A3A84E4-A375-4CBE-8C36-862EEDF0D3FD 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 May 2nd.=20 This year's Oregon Programming Languages Summer School will take place from= June 16th to 28th, 2014. 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 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 Michael Clarkson -- Coq Bootcamp George Washington 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=_3A3A84E4-A375-4CBE-8C36-862EEDF0D3FD Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii 
*** The registration deadline for this year's Oregon PL Summer Schoo=
l has been extended to May 2nd. 
This year's Oregon Programming Langu=
ages Summer School will take place from June 16th to 28th, 2014.  Full info=
rmation 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. 
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

Michael Clarkson -- Coq Boo= tcamp
George Washington University

Derek Dreyer -- Modular Reasoning about Stateful Programs
Ma= x 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 Technol= ogy

Brigitte Pientka -- Proof Theory Foundations
McGill University

Stephanie Weirich -- Designing Dependentl= y-Typed Programming Languages
University of Pennsylvania

Steve Zd= ancewic -- 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=_3A3A84E4-A375-4CBE-8C36-862EEDF0D3FD--