Jim Grundy, Martin Schwenke and Trevor Vickers, editors. Supplementary proceedings of the International Refinement Workshop and Formal Methods Pacific 1998. Joint Computer Science Technical Report TR-CS-98-09. The Australian National University, Department of Computer Science, Canberra ACT 0200, Australia. September 1996.
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. The Work in Progress stream provides a forum for discussion of work that has not yet reached maturity. Submissions were vetted for relevance, but not refereed. This volume presents the Work in Progress papers.
We wish to thank our sponsors for their support: the Department of Computer Science at The Australian National University, and the Australian Research Council (through their Special Research Initiatives Program). The latter grant (sought in conjunction with TPHOLs'98) also enabled us to offer travel bursaries to students to assist their attendance at the conference.
Here is an appropriate BibTeX entry:
@Proceedings{Grundy:1998:SIR,
editor = "Jim Grundy and Martin Schwenke and Trevor Vickers",
title = "Supplementary Proceedings of the
International Refinement Workshop and
Formal Methods Pacific 1998",
address = "Canberra, Australia",
month = sep,
year = 1998,
number = "TR-CS-98-09",
series = "Joint Computer Science Technical Report",
publisher = "The Australian National University,
Department of Computer Science"}
You can down-load a copy of the suplementary proceedings. Or, if you want to try to find a copy in a library, the following might be useful:
Title: Supplementary Proceedings of The International Refinement Workshop and Formal Methods Pacific 1998 Editors: Jim Grundy, Martin Schwenke, and Trevor Vickers Series: Joint Computer Science Technical Reports Number: TR-CS-98-09 Copyright: 1998 Publisher: The Australian National University, Department of Computer Science Address: Canberra ACT 0200, Australia ISBN: 0-7315-4801-9
Feedback & Queries:
Jim Grundy