[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Final CFP REFINE 2009: papers due 1 Aug,workshop 2 Nov at FM'09, Eindhoven

Dear all,

Apologies for duplicates.

Please find attached the final call for papers for the 2009 Refinement 
workshop, to be held as part of FM'09 at Eindhoven on 2 November 2009.
Papers are due on 1 August; proceedings in ENTCS, a special issue of FACJ for 
extended and reworked papers.

Eerke Boiten, Computing Lab, Univ of Kent, Canterbury, UK
+44.1227.827615 (fax 762811)  http://www.cs.kent.ac.uk/people/staff/eab2/
Title: CFP: 2009 Refinement Workshop at FM'09

Call for Papers: 2009 Refinement Workshop at FM '09

2 November 2009, as part of FM'09 at Eindhoven

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 appear in Electronic Notes in Theoretical Computer Science. A special issue of Formal Aspects of Computing will be produced afterwards, consisting of developments and extensions of workshop papers. These would be refereed in the usual fashion prior to acceptance by the journal.

Key Dates

The Refinement workshop will take place on November 2nd, as part of FM'09 at Eindhoven

Invited Speaker

Carroll Morgan has kindly agreed to speak at Refine 2009, tentative title: How to cook-up a refinement ordering.


Papers should be submitted in Postscript or PDF format by e-mail to reach John Derrick by 1st August, 2009. They should be no longer than 16 pages (A4, using a 10pt font).

History of the workshop

This 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. Proceedings appeared in ENTCS Vol.70(3), and a special issue of the Formal Aspects of Computing journal based on the workshop appeared in 2003 (Vol. 15:1-2). In 2005, the workshop was co-located with the ZB conference held at the University of Surrey. Proceedings appeared in ENTCS Vol.137(2), and a special issue of Formal Aspects of Computing based on it appeared in 2006 (Vol. 18:3). In 2006, the workshop was co-located with the ICFEM conference at Macau, published in ENTCS Vol.187(1), and the corresponding special issue of Formal Aspects of Computing has just come out (Vol. 21:1-2). The 2007 edition was co-located with IFM at Oxford, with proceedings in ENTCS Vol.201, and extended papers to appear in Formal Aspects of Computing journal soon. In 2008, the Refinement Workshop was co-located with FME at Turku, with proceedings in ENTCS Vol. 214 and a special issue of Science of Computer Programming currently in preparation.

The Workshop Webpage will be available from www.refinenet.org.uk


Web pages maintained by RefineNet webmaster and hosted at Computing Laboratory, University of Kent.