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
Application for PLDI 2023 student volunteers are open! https://pldi23.sigplan.org/track/pldi-2023-student-volunteering
We will have it open for one month, closing on Apr 10th AoE.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.