16th International Z User Meeting
Tuesday 25 April 2006
Programme
(also PDF)
As part of the 2nd Systems and Software Week
http://www.systemsandsoftwareweek.org
Columbia, MD, USA
24-28 April 2006
Co-located with:
SEW-30, 30th Annual NASA/IEEE Software Engineering Workshop
EASe 2006, 3rd IEEE Workshop on Engineering Autonomic Systems
DSSNS 2006, 2nd IEEE Workshop on
Dependability and Reliability in Sensor Networks and Systems
Organized by the
NASA Software Engineering Laboratory
NASA Goddard Space Flight Center
IEEE Computer
Society Technical Committee on Complexity in Computing
In association with
The 16th International Z
User Meeting (ZUM 2006) will be held at the
Loyola College Graduate Center, Columbia, MD,
in suburban Washington DC, USA. This is the first time that
ZUM will be held outside Europe.
Z is a leading formal notation, used in formal methods by both academia and industry, for the specification and verification of both hardware and software systems.
The program committee invites authors to submit papers on or related to the formal specification notation Z, in particular, and formal methods in general, for presentation and inclusion in the published Proceedings to be distributed after the conference. The schedule for submissions is as follows:
Submission of draft papers: 31 January 2006
Notification of
acceptance:
27 February 2006
ZUM 2006 in Columbia:
Tuesday 25 April 2006
Final copy for Proceedings: 8 June 2006
Note: The exact date and length of the conference as part of the Systems and Software Week is to be decided depending on submissions. It is planned that papers will be included as a part of the IEEE SEW proceedings.
General enquiries about the meeting and the Z User Group may be directed to the Conference Chair:
Prof. Jonathan Bowen
London South Bank University
Faculty of BCIM
Borough Road
London SE1 0AA
United Kingdom
Email: jonathan.bowen@lsbu.ac.uk
Tel: +44 20 7815 7462
Fax: +1 702 537 8033
Online and up-to-date conference information may be found under the following web address:
Electronic submissions are encouraged. Send your submission to one of Program Co-Chairs below either on Michael.G.Hinchey@nasa.gov or drjohns@orion.ncsc.mil as well as a separate (plain ASCII) message containing the title of the paper, list of authors, and contact information for the corresponding author. Alternatively, four copies of submitted papers of not more than 10 pages (IEEE two-column format) should be sent to Mike Hinchey:
Prof. Mike Hinchey
NASA Software Engineering Laboratory
Mailstop 581.0
NASA Goddard Space Flight Center
Greenbelt, MD, 20771, USA
Email: Michael.G.Hinchey@nasa.gov
Tel: +1 301 286 9057
Fax: +1 301 286 5719
Dr Randolph Johnson
National Security Agency, Maryland, USA
Email: drjohns@orion.ncsc.mil
1. Keijiro Araki, Kyushu University, Japan
2. Rob Arthan, Lemma 1, Reading, UK
3. Jonathan Bowen, London South Bank University, UK
4. John Derrick, University of Sheffield, UK
5. Jin Song Dong, National University of Singapore
6. Mark d'Inverno, University of Westminster, UK
7. Martin Henson, University of Essex, UK
8. Mike Hinchey, NASA Goddard Space Flight Center, USA
9. Rob Hierons, Brunel University, UK
10. Randolph Johnson, National Security Agency, USA
11. Steve King, University of York, UK
12. Yves Ledru, LSR-IMAG, Grenoble, France
13. Graeme Smith, University of Queensland, Australia
14. Sergiy Vilkomir, University of Limerick, Ireland
ZUM 2006 conference information last updated on 1 March 2006.
See also text version and other Z User Meetings.
Information by Jonathan Bowen