ABZ 2025 – 11th International Conference on Rigorous State Based Methods Venue: Haus der Universität Location Haus der Universität Schadowplatz 14 40212 Düsseldorf Germany