posted by organizer: idhugoid || 695 views || tracked by 1 users: [display]

OVT 2021 : 19th Overture Workshop


When Oct 22, 2021 - Oct 22, 2021
Where Online/Aarhus DK
Abstract Registration Due Jul 5, 2021
Submission Deadline Jul 12, 2021
Notification Due Aug 31, 2021
Final Version Due Sep 27, 2021

Call For Papers

The 19th Overture Workshop is the latest in a series of workshops around theVienna Development Method (VDM), the open-source project Overture, andrelated tools and formalisms. VDM is one of the best established formalmethods for systems development. A lively community of researchers andpractitioners in academia and industry has grown around the modellinglanguages (VDM-SL, VDM++, VDM-RT) and tools (including VDMTools, Overture,INTO-CPS, ViennaTalk, VDMJ and VDM VSCode). Together, these provide aplatform for work on modelling and analysis technology that includes IDEs, staticand dynamic analysis, test generation, execution support, and model checking.

Previous workshops have been invaluable in encouraging both new andestablished members of the community in their work, and helping to determinepriorities and future directions. Proceedings of former workshops areavailable at
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.

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 in the VDM-related tools.
Papers on the foundations and methodology associated with VDM and its extensions, including the description of real-time, cyber-physical systems, digital twins 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 VDM-related tools including Overture, INTO-CPS and ViennaTalk.

Program Commitee

Kenneth Guldbrandt Lausdahl, AGROCorp International and Aarhus University, Denmark
Tomo Oda, Software Research Associate Incorporated, Japan
Marcel Verhoef, European Space Agency, The Netherlands
Paolo Masci, National Institute of Aerospace (NIA), USA
Peter Gorm Larsen, Aarhus University, Denmark
Nick Battle, Aarhus University, Denmark
Fuyuki Ishikawa, National Institute of Informatics, Japan
Keijiro Araki, National Institute of Technology, Kumamoto College, Japan
Sam Hall, Newcastle University, UK

For latest information and announcements, visit
Program Chairs

Ken Pierce, Newcastle University, United Kingdom (
Casper Thule, Aarhus University, Denmark, (

Organising Chair

Hugo Daniel Macedo, Aarhus University, Denmark (


The workshop will be held online and if possibly, in person at Aarhus University, Aarhus, Denmark.

To register for this workshop, please email to request the link to participate.

All questions about submissions should be emailed to