Conference ThemeIn August 2000 the first International Conference of B and Z Users (ZB2000) was held in the historic city of York in the north of England. The second joint Z and B International Conference (ZB2002) was held in January 2002 in Grenoble, in the heart of the French Alps. The third one will be held in Turku, the former capital and the oldest city of Finland. B and Z are two important formal methods which share a common conceptual origin; each is widely used in both academia and industry for the specification and verification of both hardware and software systems. In ZB2003 the B and Z communities are coming together to hold a joint conference which will simultaneously incorporate the 14th International Conference of Z Users and the 5th International Conference on the B Method. Although organised logistically as an integral event, editorial control of the joint conference remains vested in two separate programme committees which will respectively determine its B and Z content. Accordingly, the two programme committees invite authors to submit papers on the B Method or the Z formal notation in particular, or on the use of similar formal approaches and formal methods in general. In particular, the programme committees encourage contributions focused on industrial applications. Accepted papers will be presented at the conference and included in the proceedings published by Springer. The conference will also feature a range of contributions from distinguished invited speakers drawn from both industry and academia. The invited speakers will address significant recent industrial applications of formal methods, as well as important academic advances serving to enhance their potency and widen their applicability. Besides its formal sessions the conference will feature tool demonstrations and publishers' displays. It is also envisaged that a programme of special tutorials may precede the main conference. TopicsThe topics of the conference include, but are not limited to:
Important dates:
|