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

Programme Committee and Conference Chairs

Conference Chairs

Steve Schneider
University of Surrey
Helen Treharne
University of Surrey
Steve King
University of York, UK
Martin Henson
University of Essex, UK

B Programme Committee

  • Helen Treharne, University of Surrey (Chair)
  • Steve Schneider, University of Surrey (Conference Chair)
  • Richard Banach, University of Manchester
  • Juan Bicarregui, CLRC, Oxfordshire
  • Dominique Cansell, LORIA, University of Metz
  • Daniel Dolle, Siemens Transportation Systems
  • Steve Dunne, University of Teesside
  • Mamoun Filali, CNRS, IRIT, Toulouse
  • Marc Frappier, UniversitÚ de Sherbrooke
  • Andy Galloway, University of York
  • Henri Habrias, LINA, UniversitÚ de Nantes
  • Adrian Hilton, Praxis Critical Systems Ltd
  • Jacques Julliand, UniversitÚ de Besanšon
  • Regine Laleau, LACL, IUT Fontainebleau
  • Annabelle McIver, Macquarie University, Sydney
  • Luis-Fernando Mejia, Alstom Transport Signalisation
  • Mike Poppleton, University of Southampton
  • Marie-Laure Potet, LSR-IMAG, Grenoble
  • Ken Robinson, University of New South Wales
  • Emil Sekerinski, McMaster University
  • Veronique Viguie Donzeau-Gouge, CNAM, Paris
  • Marina Walden, Abo Akademi University

Z Programme Committee

  • Steve King, University of York, UK (Chair)
  • Martin Henson, University of Essex, UK (Chair)
  • Keijiro Araki, Kyushu University
  • Rob Arthan, Lemma 1, Reading
  • Jonathan Bowen, London South Bank University
  • Neville Dean, Anglia Polytechnic University
  • John Derrick, University of Kent, Canterbury
  • Jin Song Dong, National University of Singapore
  • Mark d'Inverno, University of Westminster
  • Wolfgang Grieskamp, Microsoft Research, USA
  • Ian Hayes, University of Queensland
  • Rob Hierons, Brunel University
  • Jonathan Jacky, University of Washington
  • Randolph Johnson, National Security Agency
  • Kevin Lano, Kings College London
  • Yves Ledru, LSR-IMAG, Grenoble
  • Andrew Martin, Oxford University
  • Fiona Polack, University of York
  • Steve Reeves, University of Waikato
  • Mark Saaltink, ORA, Ottawa
  • Thomas Santen, Technical University of Berlin
  • Graeme Smith, University of Queensland
  • Susan Stepney, University of York
  • Ian Toyn, University of York
  • Mark Utting, University of Waikato
  • Sam Valentine, York

 

 

line
University of Surrey logo Maintained by Rob Delicata.