Refinement workshop: Deadline extension

REFINE 2019: Refinement Workshop - 2nd Call for papers

Co-located with FM 2019
Porto, Portugal, 7 October, 2019
---------------------------

Website: https://refinenet.github.io/
Submission link: https://easychair.org/my/conference?conf=refine2019

Important dates:
July 15, 2019: extended submission deadline
July 31, 2019: notifications
October 7, 2019: workshop

Scope
--------

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.

 
Topics of interest
-----------------------
The purpose of the workshop is to provide a forum for the exchange of ideas, and discussion of common ground and key differences. Papers using refinement-based approaches in verification, program construction, testing and tools fall within scope. 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 and hybrid systems
- Specification notations
- Programming models
- Verification and tool support
- Refinement and testing

Submission guidelines

------------------------------
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.

Invited speaker
---------------------
Regine Laleau, Universite Paris-Est Creteil


Organizing committee
---------------------------
John Derrick, University of Sheffield, UK
Brijesh Dongol, University of Surrey, UK
Steve Reeves, University of Waikato, NZ


Program committee
---------------------------

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

Larissa Meinicke, University of Queensland, Australia

Lindsay Groves, Victoria University of Wellington, NZ

Rob Hierons, University of Sheffield, UK

Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazi

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