[Apologies if you receive this more than
once]=====================================================================
CALL for PARTICIPATION
ZB2003
3rd International Conference of B and Z Users
4 - 6 June 2003
Tutorials
3 June 2003
RCS'03 Workshop
3 June 2003
Turku, Finland
=====================================================================
The conference program and any details about the venue in Turku, Finland
are available on the web at the URL: http://www.tucs.fi/zb2003/
--------------------------------------------------------------------------
Invited Speakers
----------------
Jean-Raymond Abrial, Consultant, Marseille, France
Daniel Jackson, Associate professor, Computer Science,
MIT, Massachusetts, USA
Bertrand Meyer, Professor, Software Engineering, ETH,
Zürich, Switzerland
--------------------------------------------------------------------------
Registration for the conference and workshop via the site:
http://www.tucs.fi/ZB2003/registration_zb2003.php
(Accommodation reservation possible via the registration form.)
Early registration by 15 April 2003
--------------------------------------------------------------------------
Prof. Jonathan Bowen, Professor of Computing, London South Bank University
URL: http://www.sbu.ac.uk/~bowenjp/
|