Formal Methods Wiki
Register
Advertisement
VL2

Virtual Library
Computing
Software engineering
Formal methods
Z notation
Meetings


ZB conference


International Conference of B and Z Users



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:

  1. 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.
  2. 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.
  3. 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.
  4. 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.

Z User Group (ZUG)

See also[]

Advertisement