[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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]
