Overture 2019: The 17th Overture Workshop Alfandega Porto Congress Centre Porto, Portugal, October 8, 2019 |
Conference website | http://overturetool.org/workshops/17th-overture-workshop.html |
Submission link | https://easychair.org/conferences/?conf=ovt17 |
Conference program | https://easychair.org/smart-program/OVT17/ |
Abstract registration deadline | July 9, 2019 |
Submission deadline | July 23, 2019 |
The 17th Overture Workshop will be held on 08 October 2019 in association with the 3rd World Congress on Formal Methods (FM2019).
We invite contributions for the 17th Overture Workshop on the Vienna Development (VDM), its foundations, tools, and applications, including the open-source project Overture, and related tools and formalisms. VDM is one of the best established formal methods for systems development. A lively community of researchers and practitioners in academia and industry has grown around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools (VDMTools, Overture, Crescendo, Symphony, and the INTO-CPS tools chain). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking.
Previous workshops have been invaluable in encouraging both new and established members of the community in their work and helping to determine priorities and future directions. Proceedings of former workshops are available at the Overture Website: http://www.overturetool.org/.
See http://overturetool.org/workshops/17th-overture-workshop.html for latest information and announcements.
Submission Guidelines
Our workshop provides a forum for discussing and advancing the state of the art in formal modelling and analysis using VDM and its family of associated formalisms including extensions for distributed VDM and real-time systems. We strongly welcome contributions on the development of tools for, as well as developments in, foundations and reports of practical experience. Each paper will be peer-reviewed by at least three members of the PC, must use the Springer LNCS format, and should not exceed 15 pages in length. Accepted papers will be published in pre-proceedings as a Newcastle University Technical Report. Post-proceedings for FM workshops will be published by Springer as a special volume of LNCS.
The scope of the workshop includes, but is not restricted to:
- Reports of applications of VDM technology, especially reports of industrial use.
- Papers describing requirements, designs, implementations and case studies of support tools for VDM, whether or not implemented on the Overture platform.
- Papers on the foundations and methodology associated with VDM and its extensions, including the description of real-time, cyber-physical systems and systems-of-systems.
- Papers combining VDM with other notations and tools.
- Position papers on VDM and its promotion in industry practice.
- Papers on extensions of Overture, including INTO-CPS and ViennaTalk.
Program Committee (Confirmed)
- N. Battle, Newcastle University, UK
- L. Freitas, Newcastle University, UK
- J. Fitzgerald, Newcastle University, UK
- F. Ishikawa, NII, Japan
- P.G. Larsen, Aarhus University, Denmark
- P. Masci, National Institute of Aerospace (NIA), USA
- Ken Pierce, Newcastle University, UK
- P.W.V. Tran-Jørgensen, Aarhus University, Denmark
Organizers
- Luis Diogo Couto, United Technologies Research Center, Ireland, Email: CoutoLD -at-utrc -dot- utc -dot- com
- Carl Gamble, Newcastle University, United Kingdom. Email: Carl -dot- Gamble -at- newcastle -dot- ac -dot-
Venue
The workshop will be held at the Alfandega Porto Congress Centre, Portugal, as part of FM19. See http://formalmethods2019.inesctec.pt/?page_id=140.