[Agda] Oregon PL Summer School 2017: call for participation

[Amal Ahmed]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170215/d4d068ea/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: logo-small.png
Type: image/png
Size: 20102 bytes
Desc: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170215/d4d068ea/attachment-0001.png>