Cambridge University Press, 2010. . Conferences The following conferences have explicitly included the B-Method and/or Event-B: Z2B Conference, Nantes, France, 10–12 October 1995 First B Conference, Nantes, France, 25–27 November 1996 Second B Conference, Montpellier, France, 22–24 April 1998 ZB 2000, York, United Kingdom, 28 August – 2 September 2000 ZB 2002, Grenoble, France, 23–25 January 2002 ZB 2003, Turku, Finland, 4–6 June 2003 ZB 2005, Guildford, United Kingdom, 2005 B 2007, Besançon, France, 2007 B, from research to teaching, Nantes, France, 16 June 2008 B, from research to teaching, Nantes, France, 8 June 2009 B, from research to teaching, Nantes, France, 7 June 2010 ABZ 2008, British Computer Society, London, United Kingdom, 16–18 September 2008 ABZ 2010, Orford, Québec, Canada, 23–25 February 2010 ABZ 2012, Pisa, Italy, 18–22 June 2012 ABZ 2014, Toulouse, France, 2–6 June 2014 ABZ 2016, Linz, Austria, 23–27 May 2016 ABZ 2018, Southampton, United Kingdom, 2018 ABZ 2020, Ulm, Germany, 2021 (delayed due to the COVID-19 pandemic) ABZ 2021, Ulm, Germany, 2021 See also Formal methods Z notation References External links B Method.com – work and subjects concerning the B method, a formal method with proof Atelier B.eu : Atelier B is a systems engineering workshop, which enables software to be developed that is guaranteed to be flawless Site B Grenoble Formal methods Formal methods tools Formal specification languages