ABZ 2025 – 11th International Conference on Rigorous State Based Methods

Organization

Program Chairs

• Michael Leuschel, Heinrich-Heine-Universität, Germany
• Fuyuki Ishikawa, National Institute of Informatics, Tokyo, Japan

Case Study Chairs

• Fabian Vu, Heinrich-Heine-Universität, Germany

Workshop/Tutorial Chairs

Sponsor Chair

Doctoral Symposium Chairs

• Asieh Salehi Fathabadi, University of Southampton, UK
• Philipp Körner, Heinrich-Heine-Universität, Germany

Publicity/Social/Web Chairs

• Jan Gruteser, Heinrich-Heine-Universität, Germany

Local Chair

Registration Chair

Program Committee