The Northern Formal Methods
Workshops

Ethos

The Northern Formal Methods Workshops were set up to help foster links between formal methods researchers and groups in the north of the UK and with the wider formal methods community. They aim to contribute to fundamental research in formal methods and to provide a friendly and informal atmosphere in which participants can exchange and contribute new ideas and developments.

The First Northern Formal Methods Workshop was held in Ilkley in September 1996 at the Craiglands Hotel. The meeting was a very succesful and enjoyable event, attracting over fifty attendees. An electronic proceedings has been published by Springer in 1997. A second event was then held again in July, 1997 with similar sucess and a Springer proceedings is now available.

Given the events' success, a third workshop is being organised at the same venue in September 1998 (see below).

Andy Evans
David Duke
Bob Fields
Tony Clark
(Co-organisers)

Call for Participation
Third Northern Formal Methods Workshop
September 14-15, 1998
Craiglands Hotel
Ilkley
UK.

Invited Speakers

Dr. Carroll Morgan, Oxford University
Prof. Susan Stepney, Logica, Cambridge
Prof. Donald MacKenzie, Edinburgh University (TBC)

Preliminary Programme

Monday 14th September

09.00 Registration and Coffee

11.00 Invited Talk
C. Morgan, PRG, Oxford University

12.00 Recursion Diagrams: Ideas for a Geometry of Formal Methods
A. Butterfield, Trinity College, Dublin, Ireland

12.30 LUNCH

2.00 The Formal Development of a Windows Interface
T. Clement, Adelard, London

2.30 Modular Semantics for Object-Oriented Modelling Notations
A. Hamie, J. Howse and S. Kent, University of Brighton, UK

3.00 An Object-Oriented Formal Specification of a Configuration Language for Railway Interlocking
Minkowitz and Atkiss, GEC, UK

3.30 TEA

4.00 Dimensions and Dichotomy in Metamodelling
R. Geisler, M. Klar and C. Pons
Technische Universitat Berlin, Germany, Fraunhofer Institut
fur Software und Systemtechnik, Germany, and Univ. de La
Plata, Argentina

4.30 A Formal Theory of the Views Relationship
P.S.C. Alencar, D.D. Cowan and L.C.M. Nova,
University of Waterloo, Canada

5.00 A Semantics for Object-Oriented Systems
A.Clark, University of Bradford, UK

5.30 IO-Refinement in Z
E. Boiten and J. Derrick, University of Kent, UK

6.00 Free time to explore Ilkley and its many attractions.
7.30 Workshop Dinner

Tuesday 15th September

9.00 Invited Talk: A Tale of Two Proofs
S. Stepney, Logica UK Ltd, Cambridge

10.00 A Tactic Language for Reasoning with Z
I. Toyn, The University of York, UK

10.30 COFFEE

11.00 Extending the Test Template Framework
I. MacColl and D. Carington, University of Queensland, Australia

11.30 On Partial Function Application in Z
D. Duffy, The University of York, UK

12.00 Investigating Miraculous Specifications
S. Flynn, Ireland

12.30 LUNCH

2.00 Invited Talk:
D. MacKenzie, Edinburgh

3.00 DHA - A CSP Model for Hybrid Automata
P. Amthor, Bremen Institute for Safe Systems, Germany

3.30 Specification and Refinement in General Correctness
S. Dunne, B. Stoddart, Teeside University, UK, and A.Galloway, York University, UK

4.00 TEA and CLOSE

Location

The workshop will again be held at the Craiglands, a delightful Victorian hotel situated on the edge of Ilkley moor.

Ilkley is easily accessible by both public and private transport. By road, Ilkley can be reached via the A65, or by
rail (approx 20 mins), via Leeds and Bradford, which are accessible by a number of high speed cross country routes.
By air, Leeds/Bradford Airport is very close by, from which many international connections can be made.

Accomodation

A limited number of rooms are available at the Craiglands Hotel for booking by conference attendees. Please phone (+44 1943 607676) or fax (+44 1943 430002) quoting Bradford University, Department of Computing, when making bookings.

Directions to Hotel

From the train station, turn directly left and then right up Cowpasture Lane. The hotel is approximately 100 yards on the right.

Registration Form

------------------------------------------------------------------------
BCS-FACS Northern Formal Methods Workshop.

ILKLEY, UK, 14-15 September 1998

REGISTRATION FORM

Registration Fee:

120 POUNDS STERLING

The conference fee includes lunches, refreshments, a social dinner on Monday evening and delegates' proceedings.

Payments should be made in U.K. currency by cheque, payable to:

Department of Computing, Bradford University

Name/Organisation (to appear on workshop badge):

Address:

Postcode:

Country:

Email:

Telephone:

Fax:

Special Dietary Requirements:

Signature:

The completed registration form should be mailed or faxed to:

Ms. Alison Bradbury
Research Secretary,
Department of Computing,
University of Bradford,
West Yorkshire,
BD7 1DP

Email: alison@scm.bradford.ac.uk

tel: +44 (0)1274 383921
fax: +44 (0)1274 383920
-------------------------------------------------

Programme Committee

Jim Armstrong, Newcastle (UK)
Howard Barringer, Manchester (UK)
Graham Birtwistle, Leeds (UK)
Tony Bryant, Leeds Met (UK)
Andrew Butterfield, Trinity College, Dublin (Ireland)
David Carrington, Queensland (Aus)
Roger Duke, Queensland (Aus)
Steve Dunne, Teeside (UK)
Giorgio P. Faconti, CNR - Istituto CNUCE (Italy)
Michael Fisher, Manchester Met (UK)
John Fitzgerald, Newcastle (UK)
Jonathan Hammond, Praxis (UK)
Steve King, York (UK)
Jeremy Jacob, York (UK)
Kevin Lano, Imperial (UK)
Micheal Mac an Airchinnigh, Trinity College, Dublin (Ireland)
Luming Lai, Bradford (UK)
Paul Mukherjee, Leeds (UK)
Lesley Semmens, Leeds Met (UK)
Sam Valentine, York (UK)

Organising Committee

Andy Evans, York
David Duke, York
Bob Fields, York
Tony Clark, Bradford

The Northern Formal Methods Workshops