[TYPES/announce] OPLSS 2021 - See You At The Oregon Programming Languages Summer School

[Paul Downen]

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]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210602/5ab6aecc/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/20210602/5ab6aecc/attachment-0001.png>