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

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

2026.splashcon.org

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.

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

conf.researchr.org