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

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.







University of Surrey logo Maintained by Rob Delicata.