Next: ZUM'95: Local Information
Table of Contents

The 9th International Conference of Z Users (ZUM'95) will be held at University of Limerick in the West of Ireland in September 1995. The conference is being held outside the UK for the first time. Limerick (Shannon Airport) is easily reached by air, with several flights per day from London (Heathrow), Leeds/Bradford and Manchester, and direct flights from major cities in Europe and the US. The following activities are planned:

The following invited speakers will give presentations as part of the main sessions of the conference:

The conference will also include:

A conference dinner will be held at historic Dromoland Castle where the after dinner speech will be given by Prof. David Gries (Cornell University, USA)

Attendees will receive a copy of the proceedings, to be published by Springer-Verlag Lecture Notes in Computer Science, and a special Z issue of the Information and Software Technology journal as part of the delegate pack. To attend, please complete and return the booking form with the appropriate remittance. We look forward to seeing you at the meeting.

If you are reading this on paper, for on-line information on the conference, see:

• ZUM'95: Local Information
  • Limerick
  • Location
  • Getting there
• ZUM'95: Contact information
  • Conference chair (7-8th September 1995)
  • Programme chair
  • Local organization and tutorials (4-6th September 1995)
  • Educational issues session (9th September 1995)
  • Booking information
• ZUM'95 Provisional Programme: 7-8th September 1995
  • Thursday, 7th September 1995
  • Friday, 8th September 1995
• ZUM'95 Educational Issues Session
  • Saturday, 9th September 1995
• ZUM'95 Tutorials: 4-6th September 1995
  • Tutorial A Formal Methods and Conformance with Open Distributed Processing
    Howard Bowman and John Derrick (University of Kent, UK)
    
  • Tutorial B An Introduction to Object-oriented Formal Methods
    Kevin Lano and Stephen Goldsack (Imperial College, London, UK)
    
  • Tutorial C Engineering of Complex Real-Time Systems
    Alexander Stoyenko and Philip Laplante (New Jersey Institute of Technology, USA)
    
  • Tutorial D An Introduction to Z
    John Turner (Staffordshire University, UK)
    
  • Tutorial E Building Models in Z: An Active Approach
    Neville Dean (Anglia Polytechnic University, UK)
    
  • Tutorial F The Role of Formal Specifications in Software Test
    Hans-Martin Hoercher and Jan Peleska (DST, Germany)
    
  • Tutorial G A Tutorial on Proof in Standard Z
    Jim Woodcock, Stephen Brien, Andrew Martin (Oxford University, UK)
    
  • Tutorial H Formal Methods, Requirements and Testing
    Micheal Mac an Airchinnigh (University of Dublin, Ireland)
    
  • Tutorial I Using Z to Rigorously Review Structured Specifications
    Lesley Semmens (Leeds Metropolitan University, UK)
    
  • Tutorial J Teaching Logic as a Tool
    David Gries (Cornell University, USA)
    
• About this document ...

Next: ZUM'95: Local Information