REFINE 2018: Refinement Workshop Oxford, UK, July 18, 2018 |
Conference website | http://www.refinenet.org.uk/index.html |
Submission link | https://easychair.org/conferences/?conf=refine2018 |
Conference program | https://easychair.org/smart-program/FLoC2018/ |
Submission deadline | April 23, 2018 |
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.
Submission Guidelines
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
Accepted papers will need to use the EPTCS format, see EPTCS info for authors. Papers should be no more than 16 pages.
Committees
Program Committee
- John Derrick, University of Sheffield, UK (co-chair)
- Brijesh Dongol, Brunel University London, 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
- Ana Cavalcanti, University of York, UK
- Lindsay Groves, Victoria University of Wellington, NZ
- Rob Hierons, Brunel University London, 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
Organizing committee
- John Derrick, University of Sheffield, UK (co-chair)
- Brijesh Dongol, Brunel University London, UK (co-chair)
- Steve Reeves, University of Waikato, NZ (co-chair)
Invited Speaker
Ahmed Bouajjani
University of Paris Diderot (Paris 7)
Publication
REFINE 2018 proceedings will be published by Electronic Proceedings in Theoretical Computer Science (EPTCS).
Venue
Affiliated with FM 2018 and part of FLoC 2018, Oxford, UK.
Contact
All questions about submissions should be emailed to John Derrick, Brijesh Dongol or Steve Reeves.