ABZ

International Conference on Rigorous State-Based Methods

  1. 2021

    ABZ 2021

    • 9-11 June
    • Ulm, Germany
  2. 2020

    ABZ 2020

    • 27-29 May
    • Ulm, Germany
  3. 2018

    ABZ 2018

    • 5-8 June
    • Southampton, United Kingdom
  4. 2010

    ABZ 2010

    • 22-25 February
    • Orford, QC, Canada
  5. 2008

    ABZ 2008

    • 16-18 September
    • London, United Kingdom
  6. 2004

    ASM 2004

    • 24-28 May
    • Lutherstadt Wittenberg, Germany
  7. 1997

    ZUM 1997

    • 3-4 April
    • Reading, United Kingdom
  8. 1995

    ZUM 1995

    • 7-9 September
    • Limerick, Ireland