[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