Formal Methods Europe

Homepage of FME

REFINE 2009

By Bernhard Aichernig • Jun 16th, 2009 • Category: News, Sponsored by FME

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

Comments are closed.