We presented the following research results at ABZ 2026:

Mengwei Xu, Peter Riviere, Toshiaki Aoki, Marie Farrell, Yamine Ait-Ameur, Neeraj Singh and Guillaume Dupont: Encoding BDI Syntax with Theories in Event-B, 12th International Conference on Rigorous State Based Methods(ABZ), pp.220-228, 2026.

Seungil Yang, Peter Riviere and Toshiaki Aoki: Relational Verification of Identity Disclosure Using Alloy, 12th International Conference on Rigorous State Based Methods(ABZ), pp.229-247, 2026.