The program for the Oregon PL Summer School 2023 is now available and the application deadline is April 13th! Apply here: https://cs.uoregon.edu/research/summerschool/summer23/registration.php
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
@fancytypes This link isn't working for me. Here's the topics/speakers: https://www.cs.uoregon.edu/research/summerschool/summer23/topics.php