[TYPES/announce] OPLSS 2019 - Oregon Programming Languages Summer School - June 17-29 2019 - updated schedule

Gaboardi, Marco gaboardi at buffalo.edu
Tue Mar 19 23:35:35 EDT 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.

The registration deadline is April 15th, 2019.

Full information on registration and scholarships 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/20190320/3b1be30f/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/20190320/3b1be30f/attachment-0001.png>


More information about the Types-announce mailing list