Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

THE 19TH OVERTURE WORKSHOP WITH EXTENDED DATES

The 19th Overture Workshop will be held on 22 October 2021 online and in person at Aarhus University, if possible.

NOTE: We expect this to be a hybrid event in the sense that you can participate in person or online.

Registration

To register for this workshop, please email overture19request@gmail.com to request the link to participate.

Presentations

The description of presentations will be described once publications have been submitted.

Programme

The programme description will be settled once publications have been submitted.

CALL FOR PAPERS

The 19th Overture Workshop will be held on 22 October 2021 online and in person at Aarhus University if possible.

The 19th Overture Workshop is the latest in a series of workshops around the Vienna Development Method (VDM), 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) and tools (including VDMTools, Overture, INTO-CPS, ViennaTalk, VDMJ and VDM VSCode). Together, these provide a platform for work on modelling and analysis technology that includes IDEs, 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 https://www.overturetool.org/.

Submission

Submission of papers is through EasyChair: https://easychair.org/conferences/?conf=ovt19.

Important Dates (NOTE, DATES HAVE BEEN EXTENDED!)

Call

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:

Organising

Program Chairs

Organising Chair

Program Committee

For latest information and announcements, visit https://www.overturetool.org/workshops/19th-overture-workshop.html

Contact

All questions about submissions should be emailed to overture19request@gmail.com

The online conference facility is provided by the Faculty of Technical Sciences at Aarhus University

AU Technical Sciences Logo