2015 Refinement Workshop at FM 2015 in Oslo

Call for Papers: 2015 Refinement Workshop at FM 2015 in Oslo

22 June 2015, colocated with FM 2015 at Oslo

www.refinenet.org.uk/ref15/

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 BCS FACS 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 purpose of the workshop is to provide a forum for the exchange of
ideas, and discussion of common ground and key differences.

Topics of interest include (but are not limited to):

    Simulation techniques
    Foundations and semantics
    Case studies (specification and verification)
    Compositional and modular reasoning
    Object-orientation
    Time, Probability, Hybrid Systems
    Specification notations
    Programming models
    Verification and tool support

Proceedings

Submissions will be reviewed, workshop proceedings will be published,
likely in Electronic Proceedings in Theoretical Computer Science, like
the 2013 and 2011 editions.

It is anticipated that selected papers from this workshop will be published
in extended versions in a special edition of a major international journal,
in line with the special issues in FACJ and SCP that have appeared for
workshop editions since 2003.

Key Dates

    Abstract Submission: 21 March 2015
    Paper Submission: 28 March 2015
    Notification: 22 April 2015
    Workshop: 22 June 2015

Submissions

Submissions can be made via EasyChair:
https://easychair.org/conferences/?conf=ref2015.
There is no prescribed format for submissions but accepted papers will
need to use the EPTCS LaTeX macro package, see EPTCS info for authors:
http://info.eptcs.org/
Papers should be no more than 16 pages.

History of the workshop

This 17th Refinement 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. This and seven subsequent editions (Surrey, Macau,
Oxford, Turku, Eindhoven, Limerick, Turku) have had proceedings in ENTCS
or EPTCS and a subsequent journal special issue or selected journal
papers (most in Formal Aspects of Computing, once in Science of Computer
Programming). For more details, see here.

The Workshop Webpage is available from www.refinenet.org.uk

Program committee

    Eerke Boiten, University of Kent, UK (co-chair)
    John Derrick, University of Sheffield, UK (co-chair)
    Steve Reeves, University of Waikato, NZ (co-chair)
    Richard Banach, University of Manchester, UK
    Luis Barbosa, University of Minho, PT
    Ana Cavalcanti, University of York, UK
    Brijesh Dongol, Brunel University, UK
    Steve Dunne, UK
    Lindsay Groves, Victoria University of Wellington, NZ
    Stefan Hallerstede, Aarhus University, DK
    Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil
    Gerhard Schellhorn, Augsburg University, Germany
    Steve Schneider , University of Surrey, UK
    Emil Sekerinski, McMaster University, Canada
    Graeme Smith, University of Queensland, Australia
    Helen Treharne, University of Surrey, UK
    Heike Wehrheim, University of Paderborn, Germany
_______________________________________________