The program for the Oregon PL Summer School 2023 is now available and the application deadline is April 13th! Apply here:

The 21st annual Oregon Programming
Languages Summer School (OPLSS) will be held from June 26th to July 8th, 2023 at the University of Oregon. The theme will be "types, semantics, and logic" and is being organized by Zena Ariola, Stephanie Balzer, and myself. More details, soon!

Hello everyone! I have just moved from to try out this instance by ACM. Since my toots were not migrated with me, let me introduce myself again.
My name is Yao Li (李垚). I am currently an assistant professor at Portland State University. My research area is programming languages/formal verification/interactive theorem proving. Always happy to chat with people about research or general things about programming languages!

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.