zb2005 logo

4th International Conference
of B and Z Users

University of Surrey, Guildford, UK, 13-15 April 2005
Organised by APCB and the Z User Group
line
Important Dates
Invited Speakers
Conference Theme
Programme Committee
Conference Organisers
Submission
Programme
Poster Session
Tutorials
Proceedings
Conference dinner
Registration
Accommodation
Sponsors
RefineNet Workshop

Prize winners

 

Best paper

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
Refinement and Reachability in Event_B

Best student presentation

Benjamin Long:
Formal Verification of a Type Flaw Attack on a Security Protocol using Object-Z

Best poster

Jean-Marc Mota:
Development of Geometric Modelling Algorithms using Event B: a case study,
Wilson Ifill:
Achieving B State Machine Designs with Annotations

All the prizes are sponsored by BCS FACS and the poster session itself was sponsored by AWE.

 

 

 

 

 

 
line
University of Surrey logo Maintained by Rob Delicata.