16th annual Oregon Programming Languages Summer School (OPLSS)

We are pleased to announce the program for the 16th annual Oregon
Programming Languages Summer School (OPLSS) to be held from June 26th to
July 8th, 2017 at the University of Oregon in Eugene. The registration
deadline is April 1st, 2017.

Full information on registration and scholarships can be found here:

http://www.cs.uoregon.edu/Activities/summerschool
This year’s program is titled: A Spectrum of Types. The speakers and
topics include:

Amal Ahmed — Correct and Secure Compilation for Multi-Language Software
Northeastern University

Edwin Brady — Dependent Types in the Idris Programming Language
University of St. Andrews

Ron Garcia — Gradual Typing and Abstract Interpretation
University of British Columbia

Robert Harper — Programming Languages Background
Carnegie Mellon University

Neel Krishnaswami — Dependent Types and Linearity
University of Cambridge

Dan Licata — Programming Languages Background
Wesleyan University

Frank Pfenning — Substructural Type Systems and Concurrent Programming
Carnegie Mellon University

Sam Tobin-Hochstadt — Contracts
Indiana University

David Van Horn — Redex, Abstract Machines, and Abstract Interpretation
University of Maryland

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.

A new feature this year is the option for students to attend a Review
session from June 23rd to 25th ? the three days before the summer school
officially begins. The review will cover operational semantics, type
systems, and basic proof techniques. More information is available at
the above website.

We hope you can join us for this excellent program!