Super excited to be lecturing at the 2026 edition of EPIT 11 – 15 May, 2026 at the French spring school in theoretical computer science! I will be lecturing on the mechanics of probabilistic inference. Other topics include probabilistic semantics and verification.

conferences.cirm-math.fr/3489.html

This is called "Algebra: Chapter 0". once they are adults they can get Chapter 1

I would have if I could have

SPLASH/ISSTA 2026 - Workshops - SPLASH 2026 Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview of th...

We've extended the deadline for workshops at SPLASH/ISSTA 2026 to **January 17**! Please submit your proposals (it's just a small HotCRP form this year, easy!), and we're looking forward to seeing you in Oakland!

Link: 2026.splashcon.org/track/splash...

@rohan.padhye.org @issta.bsky.social

SPLASH/ISSTA 2026 - Workshops - SPLASH/ISSTA 2026 Welcome to the website of the SPLASH/ISSTA 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview...

SPLASH and ISSTA are going to be co-located in 2026 at Oakland, CA! 🥳

If you would like to run a workshop in PL/SE/Testing, submit a proposal by Jan 10th: conf.researchr.org/track/splash...

Contact @sholtzen.bsky.social or me for questions.

If I can jump in, Racket does continue to be heavily used in our curriculum and will be for the foreseeable future. I'm using it to teach my class: pages.github.khoury.northeastern.edu/sholtzen/cs4...
Also used in logic&comp: course.ccs.neu.edu/cs2800sp25/