ABZ 2027 – 13th International Conference on Rigorous State Based Methods