2011 Refinement Workshop at FM '11

20 June 2011, colocated with FM 2011 at Limerick

Room KBG-13, Kemmy Business School.


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):


Workshop proceedings have been published in Electronic Proceedings 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 will be refereed in the usual fashion prior to acceptance by the journal.

Program committee

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