The 14th edition of the BCS-FACS Refinement Workshop will be held as part of the FM Week at Eindhoven, on 2 November 2009. Proceedings will appear in ENTCS, and a special issue of Formal Aspects of Computing will be produced afterwards, consisting of developments and extensions of workshop papers.
Carroll Morgan has agreed to be the invited speaker, with tentative title “How to cook-up a refinement ordering”.
Submissions are due on 1 August (see Homepage for details), with author notification by 15 September.
The organisers:
Eerke Boiten, University of Kent, UK
John Derrick, University of Sheffield, UK
Steve Reeves, University of Waikato, NZ