Jim Grundy, Martin Schwenke and Trevor Vickers, editors. International Refinement Workshop and Formal Methods Pacific 1998. In Discrete Mathematics and Theoretical Computer Science, Canberra, Australia, September/October 1998. Springer-Verlag.
The International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98), as the title suggests, is a combined event. FMP'98 itself incorporates the 7th Australasian Refinement Workshop and the 4th New Zealand Formal Program Development Colloquium, and follows the inaugural FMP'97 in Wellington.
The Australasian Refinement Workshop (ARW) series began in 1990, to provide a forum for researchers in program refinement. The New Zealand Formal Program Development Colloquium (NZFPDC) series began in 1994 with similar aims. In 1997 the ARW and NZFPDC joined forces in Wellington under the umbrella name Formal Methods Pacific (FMP). The more general name, and regional focus better reflects the broader range of interests of participants and presented papers, while satisfying the need for a regional conference covering formal methods.
The event became the International Refinement Workshop with the postponement of the 7th British Refinement Workshop, and the welcome support of IRW/FMP'98 by the British Computer Society FACS.
IRW/FMP'98 is being held concurrently with The 11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'98) at The Australian National University.
Papers for IRW/FMP'98 were sought in two streams: Completed Work and Work in Progress. We received l;35 submissions in the Completed Work stream, and accepted 20. Each submission was passed to at least three members of the Program Committee for review. The Work in Progress stream provides a forum for discussion of work that has not yet reached maturity. Work in Progress papers are published separately as a Computer Science technical report of The Australian National University. Computer Science technical reports are available at http://cs.anu.edu.au/techreports/.
We are delighted to have invited papers from Ian Hayes, Joakim von Wright, and Jim Woodcock, and thank them warmly for their contribution.
Funding for the invited speakers was made possible through generous sponsorship by the Department of Computer Science at The Australian National University, and through a grant from the Australian Research Council, under the Special Research Initiatives Program. That grant (sought in conjunction with TPHOLs'98) also enabled us to offer travel bursaries to students to assist their attendance at the conference.
We wish to thank our sponsors for their support, the Program Committee and additional reviewers for their assistance, and those associated with Springer (Cris Calude, Gillian Chee, Rebecca Ali, and Ian Shelley) for agreeing to publish these proceedings in the DMTCS series, and for their help and advice.
Here is a suitable BibTeX entry:
@Proceedings{Grundy:1998:IRW,
editor = "Jim Grundy and Martin Schwenke and Trevor Vickers",
title = "International Refinement Workshop and Formal
Methods Pacific 1998",
series = "Discrete Mathematics and Theoretical Computer Science",
address = "Canberra, Australia",
month = sep,
year = 1998,
publisher = "Springer-Verlag"}
If you are having trouble finding the proceedings, then the following information may be of help:
Title: International Refinement Workshop and Formal Methods Pacific 1998 Editors: Jim Grundy, Martin Schwenke and Trevor Vickers Series: Discrete Mathematics and Theoretical Computer Science Copyright: 1998 Publisher: Springer-Verlag, Singapore ISBN: 981-40210-16-4 LoC Call #: QA76.54.I57 1998
Feedback & Queries:
Jim Grundy