Call for Participation:

Refine 2008 - International Refinement Workshop

Tuesday 27th May 2008 - co-located with FM 2008 - Turku, Finland
REFINE 2008 - International Refinement Workshop

Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification.

The aim of this Refinement Workshop is to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies. The workshop is organized by the BCS FACS special interest group on refinement.

Wim Hesselink is be the invited speaker.


The Refinement workshop will take place as one of the workshops of the FM 2008 conference. Registration for the workshop is being dealt with via the FM conference website.

Preliminary Program

9.00 - 9.15  Opening
9.15 - 10.00  Invited talk

Simulation Refinement for concurrency verification
Wim Hesselink

10.00 - 10.20  ASM refinement

Completeness of ASM Refinement
Gerhard Schellhorn

10:30 - 11:00 Coffee
11.00 - 12:30 Algebraic methods

An algebraic approach to refinement with fair choice
Emil Sekerinski 

Modal tools for separation and refinement
Georg Struth

Observational refinement process
Alexandre Madeira

Refinement-based verification of interactive real-time systems
Maria Spichkova

12:30 - 14:00 Lunch
14:00 - 15:30 State-based concurrent systems

Linking Event-B and Concurrent Object-Oriented Programs
Andrew Edmunds and Michael Butler

Refinement for pipelining in Event-B
Neil Evans

ArcAngelC: a refinement tactic language for Circus
M. Oliveira and Ana Cavalcanti

Experimenting formal proofs of Petri Net refinements
Christine Choppy, Micaela Mayero and Laure Petrucci

15:30 - 16:00 Afternoon tea
16:00 - 17:30 State-based systems

More relational concurrent refinement: traces and partial relations
John Derrick and Eerke Boiten

General refinement, Parts I and II
Steve Reeves and David Sreader

Alloy as a refactoring checker?
H.-Christian Estler and Heike Wehrheim

Refactoring real-time specifications
Graeme Smith and Tim McComb


Workshop proceedings will appear in Electronic Notes in Theoretical Computer Science (ENTCS). Special issues of selected journals have been produced containing extended papers from the last few refinement workshops, and for this workshop the Science of Computer Programming journal will be publishing a special issue devoted to the workshop. Extended papers from the workshop will be refereed in the usual fashion prior to acceptance by the journal.

Key Dates

The Refinement workshop will take place on Tuesday 27th May 2008, as one of the workshops of  the FM 2008 conference organised by Åbo Akademi University.

History of the workshop

This workshop continues a long tradition in refinement workshops run under the auspices of the British Computer Society (BCS) FACS special interest group. Running since 1988, previous refinement workshops have been held at Cambridge, London, Bath etc.

In 1998 the BCS refinement workshop was combined with the Australasian Refinement Workshop to form the International Refinement Workshop, hosted alongside Formal Methods Pacific 1998 at The Australian National University.

In 2002, the Refinement Workshop was held as an FME workshop in Copenhagen. Proceedings appeared in ENTCS Vol.70(3), and a special issue of the Formal Aspects of Computing journal based on the workshop appeared in 2003 (Vol. 15:1-2). In 2005, the workshop was co-located with the ZB conference held at the University of Surrey, Guildford. Proceedings appeared in ENTCS Vol.137(2), and a special issue of the Formal Aspects of Computing journal containing extensions of a number of papers appeared in 2006 (Vol. 18:3). In 2006, the workshop was co-located with the ICFEM conference organised by the UNU-IIST and the University of Macau, proceedings have been published as ENTCS Vol.187(1), and a special issue of the Formal Aspects of Computing journal is in the final stages of production. In 2007, the workshop was held at the IFM conference in Oxford, and again proceedings will appear in ENTCS, and a special issue of the Formal Aspects of Computing journal will be devoted to the workshop.



Web pages maintained by RefineNet webmaster