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
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 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/
