BCS FACS 2015 Refinement Workshop at FM, Mon 22 June 2015

The 2015 Refinement Workshop will be co-located with FM 2015 at Oslo, on 22 June.

Schedule

Call for papers

Easychair submission site

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