[TYPES/announce] OPLSS 2019 - Oregon Programming Languages Summer School - deadline extension

[Gaboardi, Marco]

*Extended deadline: April 30th, 2019*

We are pleased to announce the program of the 18th annual Oregon Programming Languages
Summer School (OPLSS) to be held from June 17th to June 29th, 2019 at
the University of Oregon in Eugene.

Full information on registration can be found here:

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

This year’s topic  is "Foundations of Probabilistic Programming and Security”.

The speakers and topics include:

Amal Ahmed - Northeastern University
Secure Compilation

Andrew Gordon — Microsoft Research
Empowering Spreadsheet Users with Probabilistic Programming

Robert Harper - Carnegie Mellon University
Practical Foundations for Programming Languages

Fritz Henglein - Deon Digital AG and University of Copenhagen
Smart Declarative Contracts

Jan Hoffmann - Carnegie Mellon University
Resource Analysis

Andrew Myers — Cornell University
Security-Typed Languages

Frank Pfenning - Carnegie Mellon University
Session-Typed Concurrent Programming

Alexandra Silva - University College London
Coalgebraic Semantics

Sam Staton — University of Oxford
Probabilistic programming: Bayesian Nonparametrics and Semantics

Nikhil Swamy — Microsoft Research
Verifying Low-level Code for Security and Correctness Properties using F*

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


[cid:16879899-50F8-45D1-9678-A6C7848516D1]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190418/ad639d07/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: logo-small.png
Type: image/png
Size: 20102 bytes
Desc: logo-small.png
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190418/ad639d07/attachment-0001.png>