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

Team

Program Chairs

• Alcino Cunha, INESC TEC & University of Minho, Braga, Portugal
• Marie Farrell, The University of Manchester, Manchester, UK

Case Study Track Chairs

• Nuno Macedo, INESC TEC & University of Minho, Braga, Portugal
• Patrícia Jerónimo, Law School, University of Minho, Braga, Portugal

Local Chair

• Alcino Cunha, INESC TEC & University of Minho, Braga, Portugal

Registration Chair

• Catarina Fernandes, INESC TEC, Braga, Portugal

Social and Publicity Chair

• Paula Rodrigues, INESC TEC, Braga, Portugal

Program Committee

More information coming soon…