Steven Holtzen
sholtzen.bsky.social
Steven Holtzen
@sholtzen.bsky.social
I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
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
January 19, 2026 at 3:25 PM
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
January 8, 2026 at 8:04 PM
Reposted by Steven Holtzen
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
December 3, 2025 at 3:47 PM