The APCB and Z User Group has organized the International Conference of B and Z Users series, on the B-Method and Z notation.
Last ZB conference: ZB2005, University of Surrey, Guildford, UK, 13-15 April 2005.
List of meetings[]
The following ZB conferences have taken place:
- ZB2000: Formal Specification and Development in Z and B, 1st International Conference of B and Z Users, York, UK, 29 August – 2 September 2000, Jonathan P. Bowen, Steve Dunne, Andy Galloway and Steve King (eds.). Springer-Verlag, LNCS1878, August 2000. ISBN 3-540-67944-8.
- ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, 23–25 January 2002, Didier Bert, Jonathan P. Bowen, Martin C. Henson and Ken Robinson (eds.). Springer-Verlag, LNCS2272, January 2002. ISBN 3-540-43166-7.
- ZB2003: Formal Specification and Development in Z and B, 3rd International Conference of B and Z Users, Turku, Finland, 4-6 June 2003. Didier Bert, Jonathan P. Bowen, Steve King and Marina Waldén (eds.). Springer-Verlag, LNCS 2651, 2003. ISBN 3-540-40253-5. (xiii+547 pages)
See conference information and preface. - ZB2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, 13–15 April 2005. ZB2005, University of Surrey, Guildford, UK, 13–15 April 2005. Helen Treharne, Steve King, Martin Henson and Steve Schneider (eds.). Springer-Verlag, LNCS 3455, 2005. ISBN 3-540-25559-1. (xv+493 pages)
See conference information.
The proceedings have been formally published in the Springer-Verlag↑ LNCS series.