[TYPES/announce] OPLSS 2021 - Oregon Programming Languages Summer School

[Paul Downen]

We are pleased to announce the program of the 19th annual Oregon
Programming Languages Summer School (OPLSS) to be held *online* from
June 14th to June 26th, 2021. The theme for this year is "Foundations
of Programming and Security."

The registration deadline is April 30th, 2021.

Full information on registration can be found here:

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

This year, OPLSS will be a little different. The registration rates
have been updated to reflect the fact that OPLSS will be fully
virtual. In consideration of the current circumstances, there are now
three categories for registration:

  * Students & Postdocs: Free

  * Professors & Industrial Professionals: $250

  * Others: For those for which the professional registration fee
    would pose an economic burden, please contact us for more
    details. Some examples include: people on temporary hiatus due to
    the pandemic; unemployed or retired professionals.

To help the online lectures and discussion sessions run smoothly, we
request volunteers to contribute to one of these roles:

  * Scribe: Prepare written notes for certain lectures.

  * Lecture assistant: Gather & relay questions to the speaker.

Please contact us during registration to indicate your interest in one
of these roles.


The speakers and topics include:

Stephanie Balzer — Carnegie Melon University
Session-Typed Concurrent Programming

Ugo Dal Lago — University of Bologna
>From Program Equivalences to Program Metrics

Robert Harper — Carnegie Melon University
Principles of Programming Languages

Justin Hsu — University of Wisconsin–Madison
Reasoning about Probabilistic Programs

Patricia Johann — Appalachian State University
Semantics of Advanced Data Types

Alejandro Russo — Chalmers University
Information-flow Control Libraries

Alexandra Silva — University College London
Kleene Algebras and Applications

Nikhil Swamy — Microsoft Research
Proof-oriented Programming in F*

Tarmo Uustalu — Reykjavik University
Monads and Interaction

More information about these topics can be found at:

https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php


We hope you can join us for this excellent program!

Zena Ariola, Marco Gaboardi, and Paul Downen


[image: OPLSS_Logo.png]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210322/b4d82fc8/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OPLSS_Logo.png
Type: image/png
Size: 29413 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210322/b4d82fc8/attachment-0001.png>