
I will give an invited tutorial at NII Shonan Meeting on Frontiers of Formal Methods for Probabilistic Models and Programs
SUMI Lab is going to SAIV 2026 with two accepted papers
SUMI Lab hosted Prof. Christian Schilling
Sterre attended Dagstuhl Seminar on User-Aligned Assessment of AI Systems.

