[TYPES/announce] OPLSS 2018

[Zena Matilde Ariola]

We are pleased to announce the program for the 17th annual Oregon Programming
Languages Summer School (OPLSS) to be held from July 3rd to July 21th, 2018 at
the University of Oregon in Eugene. The first week, from July 3rd to July 7th,
will be an introductory session covering the foundations of programming
languages (semantics, types, proof techniques, etc.).  The introductory session
will help attendees who have not taken a course on this material prepare for the
rest of the school. Please contact the organizers if you have questions about
whether the introduction session will be helpful given your background.

The registration deadline is April 2st, 2018. Registration for the first week is
optional. Full information on registration and scholarships can be found here:

http://www.cs.uoregon.edu/Activities/summerschool

The program is as follows:

July 3-7        Foundations of Programming Languages

Paul Downen
University of Oregon

Jan Hoffman
Carnegie Mellon University

July 9-21       PARALLELISM AND CONCURRENCY

Umut Acar - Carnegie Mellon University
Parallel Algorithms

Arvind - Massachusetts Institute of Technology
Dataflow: A retrospective.
Atomicity in modular design

Stephanie Balzer - Carnegie Mellon University
Session-Typed Concurrent Programming

Andrej Bauer - University of Ljubljana
Algebraic Effects and Handlers

Guy Blelloch - Carnegie Mellon University
Parallel cost semantics and bounded implementations

Dan R. Ghica - University of Birmingham
Game Semantics

Robert Harper - Carnegie Mellon University
Computational Type Theory

Gabriele Keller - University of New South Wales
Purely Functional Array Programming and its Compilation to
High-Performance Architectures

Keshav Pingali - University of Texas, Austin
Parallel program = Operator + Schedule + Parallel Data Structures

Vijay Saraswat - Goldman Sachs
Resilient X10

We hope you can join us for this excellent program.
Zena Ariola, Guy Blelloch, Paul Downen, and Robert Harper



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180213/1e856e45/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.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180213/1e856e45/attachment-0001.png>