22 June 2015, colocated with FM 2015 at Oslo
Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification.
The aim of this BCS FACS Refinement Workshop, is to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies.
The purpose of the workshop is to provide a forum for the exchange of ideas, and discussion of common ground and key differences.
Topics of interest include (but are not limited to):
Submissions will be reviewed, workshop proceedings will be published in Electronic Proceedings in Theoretical Computer Science, like the 2013 and 2011 editions.
It is anticipated that selected papers from this workshop will be published in extended versions in a special edition of a major international journal, in line with the special issues in FACJ and SCP that have appeared for workshop editions since 2003.
This 17th Refinement Workshop continues a long tradition in refinement workshops run under the auspices of the British Computer Society (BCS) FACS special interest group. Running since 1988, previous refinement workshops have been held at Cambridge, London, Bath etc.
In 1998 the BCS refinement workshop was combined with the Australasian Refinement Workshop to form the International Refinement Workshop, hosted alongside Formal Methods Pacific 1998 at The Australian National University. In 2002, the Refinement Workshop was held as an FME workshop in Copenhagen. This and seven subsequent editions (Surrey, Macau, Oxford, Turku, Eindhoven, Limerick, Turku) have had proceedings in ENTCS or EPTCS and a subsequent journal special issue or selected journal papers (most in Formal Aspects of Computing, once in Science of Computer Programming). For more details, see here.
The Workshop Webpage is available from www.refinenet.org.uk