[TYPES/announce] OPLSS 2022

Zena Matilde Ariola ariola at cs.uoregon.edu
Fri Mar 18 11:35:44 EDT 2022


 We are pleased to announce the program for the 20th annual Oregon Programming
Languages Summer School (OPLSS) to be held from June 20th to July 2nd, 2022 at
the University of Oregon in Eugene. We are looking forward to getting together
in person for our 20th anniversary!  

The registration deadline is April 10th, 2022. Full information on registration,
scholarships and COVID-19 regulations can be found here:

     https://urldefense.com/v3/__http://www.cs.uoregon.edu/Activities/summerschool__;!!IBzWLUs!AdfSzyyxJwY5g4M9m2M5xxYy0xfvDUYRjJj00DnJnSTi0RkSDNzPUVIS9YqFOvc_w1J_eu2FOfWRXg$  <https://urldefense.com/v3/__http://www.cs.uoregon.edu/Activities/summerschool__;!!IBzWLUs!AdfSzyyxJwY5g4M9m2M5xxYy0xfvDUYRjJj00DnJnSTi0RkSDNzPUVIS9YqFOvc_w1J_eu2FOfWRXg$ >

The program is as follows:

Thorsten Altenkirch - University of Nottingham
Introduction to Type Theory

Stephanie Balzer - Carnegie Mellon University
Session-Typed Concurrent Programming

Adam Chlipala - Massachusetts Institute of Technology 
>From Type Theory to End-to-End Proof of Realistic Systems

Pierre-Louis Curien - Institut de Recherche en Informatique Fondamentale        
Game semantics

Paul Downen - University of Massachusetts, Lowell
Abstract machines and classical realizability

Silvia Ghilezan - University of Novi Sad
Rewriting and termination in lambda calculus

Jeremy Gibbons -  University of Oxford
Algebra of Programming

Robert Harper - Carnegie Mellon University
Introduction to the theory of Logical Relations

Sam Lindley - The University of Edinburgh
Effect Handler Oriented Programming

Frank Pfenning -  Carnegie Mellon University
Introduction to Proof Theory   

Stephanie Weirich -  University of Pennsylvania
Implementing Dependent Types in pi-forall

Steve Zdancewic - University of Pennsylvania
Formal Verification of Monadic Computations

You can find the description of each course here:

https://urldefense.com/v3/__https://www.cs.uoregon.edu/research/summerschool/summer22/topics.php__;!!IBzWLUs!AdfSzyyxJwY5g4M9m2M5xxYy0xfvDUYRjJj00DnJnSTi0RkSDNzPUVIS9YqFOvc_w1J_eu3VDqO1Xg$  <https://urldefense.com/v3/__https://www.cs.uoregon.edu/research/summerschool/summer22/topics.php__;!!IBzWLUs!AdfSzyyxJwY5g4M9m2M5xxYy0xfvDUYRjJj00DnJnSTi0RkSDNzPUVIS9YqFOvc_w1J_eu3VDqO1Xg$ >

We hope to see you in Eugene for this excellent program.

      Paul, Marco and Zena 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220318/0c3e9fa3/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: logo-small.png
Type: image/png
Size: 20102 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220318/0c3e9fa3/attachment-0001.png>


More information about the Types-announce mailing list