ABZ 2026 – 12th International Conference on Rigorous State Based Methods Organization Program Chairs Fuyuki Ishikawa, National Institute of Informatics, Tokyo, Japan Alcino Cunha, INESC TEC & University of Minho, Braga, Portugal