2013 Refinement Workshop at IFM 2013, Tue 11 June 2013

The 2013 Refinement Workshop will be co-located with IFM 2013 at Turku.

The programme for the 2013 Refinement Workshop is as follows:

For registration, please visit the workshop registration page or the IFM 2013 registration page and tick the box for Refine 2013.

Proceedings have been published in EPTCS vol. 115.

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