RefineNet Meetings

Refinement Workshop history

2018

2015

2013

2011

2009

2008

2007

Workshop, 7th February 2007

University of Essex
Program:

• 0900: Jim Woodcock: "Trading assertions in the verified software repository"
• 1000: Neil Evans: "Non-linear refinement"
• 1030: COFFEE BREAK
• 1045: Eerke Boiten: "Crypto and Formal Methods"
• 1130: John Derrick: "Relational concurrent refinement"
• 1200: Business meeting
• 1215: LUNCHEON
• 1315: Ana Cavalcanti: "Test-Data Generation for Control Coverage using Proof"
• 1415: MINI TEA BREAK
• 1420: Norbert Völker: "Beyond Simply Typed Polymorphism"
• 1435: Richard Banach: "Filtering Retrenchments into Refinements"
• 1500: END OF WORKSHOP

International Refinement Workshop, Monday 2nd July 2007

(Call for Papers and Talks)
St. Anne's College, Oxford
co-located with IFM 2007 - the 6th International Conference on Integrated Formal Methods

2006

Workshop, February 23-24th 2006

University of Kent

Workshop, May 4-5th 2006

University of Southampton
"Tooling methods and integration"
Held at Chilworth Manor

International Refinement Workshop, 31st October 2006

(Workshop Program)
Macau - organised by UNU-IIST and the University of Macau
Run as a workshop of ICFEM 2006 - the eighth International Conference on Formal Engineering Methods

2005

Workshop, January 10th-11th 2005

University of Sheffield
Foundations

Refinement Workshop, April 12th 2005 (Workshop Programme | Call for Papers)

University of Surrey
Co-located with ZB'05

Workshop, July 6-7th 2005

University of Manchester
Automation and mechanisation

Refinement Workshop, 31st October 2005 ( Call for Participation | Call for Papers and Talks )

University of Manchester
Run as a workshop of ICFEM 2005: the seventh International Conference on Formal Engineering Methods

2004

Workshop, January 8-9th 2004

University of Essex
Inaugural meeting

Workshop, May 13-14th 2004

Praxis Critical Systems, Bath
Industry focus

Workshop, September 7-8th 2004

University of York
Case studies I: Mondex