Dear all,

Please find attached the Call for Papers for the 2013 Refinement 
Workshop, co-located with IFM 2013, Turku, Finland, 11 June 2013.

Key info: submissions 21 March, EPTCS proceedings, Formal Aspects of 
Computing special issue afterwards;  website: 
http://www.refinenet.org.uk/ref13/

Apologies for duplicates of this email.

The organisers: Eerke Boiten, John Derrick, Steve Reeves