RefineNet: History of the Refinement Workshop
RefineNet: History of the Refinement WorkshopRefineNet was an EPSRC-funded network in the area of refinement of formal specifications. It assumed responsibility for the organisation of the BCS-FACS Refinement Workshops, a long running tradition as can be seen below.
| No. | Date | Location | Editors, Publication |
| 1 | 7-8 Jan 1988 | York | McDermid ("The Theory and Practice of Refinement", Butterworth 1989) |
| 2 | 10-12 Jan 1989 | OU, Milton Keynes | Weedon (not published) |
| 3 | 9-11 Jan 1990 | Hursley Park, Winchester | Morgan, Woodcock (Springer) |
| 4 | 9-11 Jan 1991 | Cambridge | Morris, Shaw (Springer WiC) |
| 5 | 8-10 Jan 1992 | London | Jones, Shaw, Denvir (Springer WiC) |
| 6 | 5-7 Jan 1994 | London | Till (Springer WiC) |
| 7 | 3-5 Jul 1996 | Bath | Wallis, Cooke, He (BCS eWiC) |
| 8 | 29 Sep-2 Oct 1998 | ANU, Canberra | Grundy, Schwenke, Vickers - International Refinement Workshop and Formal Methods Pacific (Springer) |
| 9 | Jul 2002 | Copenhagen | Derrick, Boiten, Woodcock, von Wright (ENTCS 70(3), FACJ 15(2)) |
| 10 | Apr 2005 | Surrey, Guildford | Derrick, Boiten (ENTCS 137(2), FACJ 18(3)) |
| 11 | 31 Oct 2006 | Macao | Aichernig, Boiten, Derrick, Groves (ENTCS 187(1), FACJ 21(1-2)) |
| 12 | 2 Jul 2007 | Oxford | Boiten, Derrick, Smith (ENTCS 201(1), FACJ 22(1)) |
| 13 | 27 May 2008 | Turku | Boiten, Derrick, Schellhorn (ENTCS 214(8), SCP 76(9)) |
| 14 | 3 Nov 2009 | Eindhoven | Boiten, Derrick, Reeves (ENTCS 259(1), FACJ 24(1)) |
| 15 | 20 June 2011 | Limerick | Boiten, Derrick, Reeves (EPTCS 55, FACJ 26:2) |
| 16 | 11 June 2013 | Turku | Boiten, Derrick, Reeves (EPTCS, papers in FACJ 27:2) |
| 17 | 22 June 2015 | Oslo | Boiten, Derrick, Reeves (EPTCS) |
| 18 | 18 July 2018 | Oxford | Derrick, Dongol, Reeves (EPTCS) |
| 19 | October 2019 | Porto | Derrick, Dongol, Reeves |