*** The OPLSS registration deadline has been extended to April 15th ***
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
