ABZ

International Conference on Rigorous State-Based Methods

  1. 2023

    ABZ 2023

    • 30 May - 2 June
    • Nancy, France
  2. 2021

    ABZ 2021

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

    ABZ 2020

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

    ABZ 2018

    • 5-8 June
    • Southampton, United Kingdom
  5. 2016

    ABZ 2016

    • 23-27 May
    • Linz, Austria
  6. 2014

    ABZ 2014

    • 2-6 June
    • Toulouse, France
  7. 2012

    ABZ 2012

    • 18-21 June
    • Pisa, Italy
  8. 2010

    ABZ 2010

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

    ABZ 2008

    • 16-18 September
    • London, United Kingdom
  10. 2007

    B 2007

    • 17-19 January
    • Besançon, France
  11. 2005

    ZB 2005

    • 13-15 April
    • Guildford, United Kingdom
  12. 2004

    ASM 2004

    • 24-28 May
    • Lutherstadt Wittenberg, Germany
  13. 2003

    ZB 2003

    • 4-6 June
    • Turku, Finland
  14. 2002

    ZB 2002

    • 23-25 January
    • Grenoble, France
  15. 2000

    ASM 2000

    • 19-24 March
    • Monte Verità, Switzerland
  16. 1998

    B 1998

    • 22-24 April
    • Montpellier, France
  17. 1997

    ZUM 1997

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

    ZUM 1995

    • 7-9 September
    • Limerick, Ireland