IRW/FMP'98: Call For Papers
                    International Refinement Workshop and
                         Formal Methods Pacific 1998

                 Tuesday 29 September - Friday 2 October 1998
                    at The Australian National University

The International Refinement Workshop and Formal Methods Pacific 1998
(IRW/FMP'98) will bring together a number of important events on the formal
methods calender.  Held separately in previous years, the British Computer
Society - FACS Refinement Workshop, the Australasian Refinement Workshop, and 
the New Zealand Formal Program Development Colloquium will amalgamate in 1998
to stage this combined gathering at The Australian National University (ANU)
in Canberra.  IRW/FMP'98 will provide a forum for discussion of current
research on mathematically-based techniques for the design and development
of computer systems.  The workshop proceedings will be published by Springer-
Verlag in the series Discrete Mathematics and Theoretical Computer Science.
More information is available from the workshop web site:

                          http://cs.anu.edu.au/irw/

TOPIC

The program committee welcomes submissions relating to all aspects of
mathematically-based techniques for the design and development of computer
systems.  This includes, but is not limited to reports on

*teaching          *tool support       *prover support    *novel applications
*evaluation        *development        *industrial use    *technology transfer

of mathematical approaches to

*refinement        *modelling          *animation         *specification

in realms such as

*parallel and sequential programming   *object-oriented systems
*functional and logic programming      *real-time, reactive and hybrid systems
*communications and security protocols *hardware products and components

SUBMISSION AND PUBLICATION

Papers are sought from prospective participants in two categories:

Completed Work: Papers in this category will be fully refereed, and those
  accepted will appear in the workshop proceedings, to be published in a
  volume of the Springer-Verlag series Discrete Mathematics and Theoretical
  Computer Science which will be available at the workshop.  Authors of
  accepted papers are expected to present their material at the workshop.
Work in Progress: Papers in this category will be vetted for relevance, but
  will not be formally refereed.  Accepted papers will be published in an
  Australian National University technical report, which will be available at
  the workshop.  Authors of accepted papers are expected to present a brief
  outline of their material at the workshop.

Submissions in both categories must be 18 pages or less, and should be
prepared according to the Springer-Verlag Lecture Notes in Computer Science
style. Papers must be submitted electronically.  Complete instructions on how
to submit are available from the workshop web site.  Please read them before
submitting your paper.

IMPORTANT DATES

       Deadline for completed work submissions:           3 April 1998
       Completed work notification of acceptance:          22 May 1998
       Camera-ready copy for completed work papers due:   19 June 1998

       Deadline for progress paper submissions:           31 July 1998
       Progress paper notification of acceptance:       14 August 1998

       Workshop:                         29 September - 2 October 1998

INVITED SPEAKERS

The initial list of invited speakers for the workshop is

      * Jean-Raymond Abrial
      * Ian Hayes (Queensland)
      * Joakim von Wright (Abo Akademi)

PROGRAM COMMITTEE

The program committee for the workshop is

      * Ralph Back (Abo Akademi)       * Joe Morris (Glasgow)
      * Michael Butler (Southampton)   * Steve Reeves (Waikato)
      * David Carrington (Queensland)  * Ken Robinson (NSW)
      * Jeremy Gibbons (Ox. Brookes)   * Emil Sekerinski (McMaster)
      * Lindsay Groves (Wellington)    * David Till (City)
      * Jim Grundy (ANU)               * Owen Traynor (Queensland)
      * Ian Hayes (Queensland)         * Mark Utting (Waikato)
      * He Jifeng (Oxford)             * Trevor Vickers (ANU)
      * Brendan Mahony (DSTO)          * Netty van Gasteren (Eindhoven)
      * Carroll Morgan (Oxford)        * Qiwen Xu (UNU/IIST)

RELATED EVENT

IRW/FMP'98 will run in conjunction with the 11th International Conference on
Theorem Proving in Higher Order Logics (TPHOLs'98).  This event, which will
be held over the 4 days Monday 28 September to Thursday 1 October 1998, will
be of interest to many IRW/FMP'98 attendees.  Material that is particularly
relevant to attendees of both events will be presented at occasional joint
sessions.  More information on TPHOLs'98 is available via the IRW/FMP'98 web
page.

WORKSHOP ORGANISATION

The IRW/FMP'98 workshop organisers are Jim Grundy, Martin Schwenke, and Trevor
Vickers of the ANU.  They may be contacted at

                              irw@cs.anu.edu.au

Versions of this Call for Papers are available from the conference web site in
ASCII, DVI, HTML, PDF and PostScript.