Australasian Refinement Workshops
What are the Workshops
about?
The Australasian Refinement Workshops (ARW) began as a forum for discussion
and presentation of current research in the area of formal program refinement.
Refinement is the process of developing an executable program from an abstract
specification through a sequence of mathematically-based steps that maintain
correctness with respect to the original specification. The workshops'
interest are characterised by, but not limited to, the three refinement
methods developed by Back, Morgan, and Morris respectively.
The Australasian Refinement Workshops have attracted many active researchers both from within Australasia and further afield. The workshops aim to facilitate discussion and advancement of current research by focussing both on work in progress, and on completed work.
Papers are accepted into one of two streams. The Completed Work (CW) stream papers are formally refereed and published. Work In Progress (WIP) papers are not refereed, and are not published. Papers from both streams are distributed at the workshop. The two-stream structure comes into effect in 1997; prior to that, all papers were considered as WIP.
Previous Workshops
- ARW2001, University of Queensland
- ARW1998, Australian National University
- ARW1997, part of Formal Methods Pacific '97 (FMP97), Victoria University of Wellington
- ARW1996, University of Queensland
- ARW1995, University of New South Wales
- ARW1994, Australian National University
- ARW1992, University of Queensland
- ARW1990, University of New South Wales
Part of the International Refinement Workshop and Formal Methods Pacific'98.
Resources
- Mail to Refinement mailing list recipients.
- Mail to Refinement mailing list maintainer (to subscribe, unsubscribe etc).
- Mail to ARW Steering Committee.
- Logo for ARW.
Steering Committee
- David Carrington, University of Queensland
- Lindsay Groves, Victoria University of Wellington
- Ian Hayes, University of Queensland
- Ken Robinson, University of New South Wales
| Please send comments and suggestions on this page to arw@itee.uq.edu.au
Last updated: 16 Jan 2001 http://arw.org.au/ |
The ARW homepage is generously provided by the University of Queensland. |