
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
I participated in the round table discussion on Safe AI at the EU Parliament
Sterre attended Dagstuhl Seminar on User-Aligned Assessment of AI Systems.

