[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We hope to see you at the Oregon Programming Languages Summer School!
https://www.cs.uoregon.edu/research/summerschool/summer21/intro.mp4
The OPLSS speakers are not singing (it's hard to compete after PLDI's
video). Nonetheless, they give a short introduction to their lectures
this year:
https://www.cs.uoregon.edu/research/summerschool/summer21/preview.mp4
https://www.youtube.com/watch?v=mUB7_G_Zw4M
If you still intend to register, please do so as soon as possible.
Space is filling quickly! More information can be found at:
https://www.cs.uoregon.edu/research/summerschool/
As in years past, videos of the lectures will be available to all,
posted online as soon as we can to the main OPLSS website
https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php
and to the OPLSS youtube channel
https://www.youtube.com/channel/UCDe6N9R7U-RYWA57wzJQ2SQ
>From all of us at OPLSS:
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
Zena Ariola, Marco Gaboardi, and Paul Downen
[image: OPLSS_Logo.png]
