[TYPES/announce] Oregon Programming Languages Summer School (with lecturers and topics)

Pierce Benjamin C. bcpierce at cis.upenn.edu
Tue Mar 20 11:46:55 EDT 2012

This year's Oregon PL Summer School will take place from the 16th to the 28th of July.  Registration deadline is April 16th.  Full information on registration and scholarships an be found here:


The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry).  It covers current research in the theory and practice of programming languages.  Material is presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field.  Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. 

This year's speakers and topics include:

Logical relations
  Amal Ahmed, Northeastern University
Category theory foundations
  Steve Awodey, Carnegie Mellon University
Proofs as processes
  Robert Constable, Cornell University
Polarization and focalization
  Pierre-Louis Curien, CNRS - Paris 7 University - INRIA
Type theory foundations
  Robert Harper, Carnegie Mellon University
Monads and all that
  John Hughes, Chalmers University and Quviq
Compiler verification
  Xavier Leroy, INRIA
Language-based security
  Andrew Myers, Cornell University
Proof theory foundations
  Frank Pfenning, Carnegie Mellon University
Software foundations in Coq
  Benjamin Pierce, University of Pennsylvania

We hope you can join us for this excellent program!

Zena Ariola
Robert Constable
Benjamin Pierce
OPLSS 2012 organizers

More information about the Types-announce mailing list