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 
<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
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 and Gradual Types
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, and will help graduate and especially undergraduate students 
who have not had a previous course in this material prepare for the main part 
of the school. Please contact the organizers if you have questions about 
whether the review will be helpful given your background.

We hope you can join us for this excellent program!

Amal Ahmed
Dan Licata
Zena Ariola

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Reply via email to