Call For Papers:
2019 Refinement Workshop, October 7th, 2019
Affiliated with FM 2019 Porto, Portugal.
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 steps that maintain
correctness with respect to the original specification. Refinement
forms the foundation for verification in a range of application areas,
including distributed and concurrent systems, cyber-physical systems,
autonomous systems, and other safety-critical applications.
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:
- Simulation techniques
- Foundations and semantics
- Case studies (specification and verification)
- Compositional and modular reasoning
- Time, probability and hybrid systems
- Specification notations
- Programming models
- Verification and tool support
- Refinement and testing
Papers are fully refereed prior to the workshop will be published
in Electronic Proceedings in
Theoretical Computer Science (EPTCS), an open-access publisher.
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.
- Paper submission: June 30, 2019
- Notification: July 31, 2019
- Proceedings version ready: Sept 2, 2019
- Workshop: October 7, 2019
REFINE 2019 invites high quality papers reporting on opinions, approaches, experiences, and empirical studies related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. The proceedings will be published as an LNCS volume, either as part of the FM Satellite Events LNCS proceedings or as a separate LNCS volume. (The exact nature of the proceedings will depend on the number of accepted papers.)
All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). Papers should not exceed 15 pages in length. Submissions should be made using the REFINE 2019 Easychair web site (https://easychair.org/conferences/?conf=refine2019).
All accepted papers must be presented at the workshop. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM 2019 organizers, and present the paper.
- John Derrick, University of Sheffield, UK
- Brijesh Dongol, University of Surrey, UK
- Steve Reeves, University of Waikato, NZ
Program committee (tentative)
- John Derrick, University of Sheffield, UK (co-chair)
- Brijesh Dongol, University of Surrey, UK (co-chair)
- Steve Reeves, University of Waikato, NZ (co-chair)
- Bernhard Aichernig, Graz University of Technology, Austria
- Richard Banach, University of Manchester, UK
- Luis Barbosa, University of Minho, Portugal
- Eerke Boiten, De Montfort University, UK
- Ana Cavalcanti, University of York, UK
- Lindsay Groves, Victoria University of Wellington, NZ
- Rob Hierons, University of Sheffield, UK
- 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
History of the workshop
This is the 19th Refinement Workshop and would continue 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 six subsequent editions (Surrey,
Macau, Oxford, Turku, Eindhoven, Limerick) have had proceedings in
ENTCS or EPTCS and a subsequent journal special issue (most in Formal
Aspects of Computing, one in Science of Computer Programming).
The workshop has been co-located at a number of different conferences
in its history, most recently at FM in 2018 (Oxford), FM in 2015 (Norway) and iFM in 2013