
Website University of Oregon
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!
To apply for this job please visit www.cs.uoregon.edu.
Recent Comments