Skip to content

Commit

Permalink
Update 23rd-overture-workshop.md
Browse files Browse the repository at this point in the history
Add EasyChair submission link for ovt-23.
  • Loading branch information
kgpierce authored Dec 19, 2024
1 parent b6e3740 commit bd8e397
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions _workshops/23rd-overture-workshop.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ The *INTO-CPS Association Brainstorm* is a newer informal event that focuses on

8th June 2025: Final version of papers due

12th June 2025: Workshop
11-12th June 2025: Workshop

## Call
Our workshop provides a forum for discussing and advancing the state of the art in Digital twins, formal modelling and analysis using VDM/Overture or INTO-CPS and their associated formalisms and extensions. We warmly welcome contributions on the development of foundations, methods, tools, and reports of practical experience.
Expand All @@ -50,7 +50,7 @@ Each tool report or full paper will be peer-reviewed by at least three members o
* Papers on extensions of VDM-related tools including Visual Studio Code, INTO-CPS assets and ViennaTalk.

## Submission
EasyChair: _link coming soon_
EasyChair: https://easychair.org/conferences/?conf=ovt23

## Organising Committee

Expand Down

0 comments on commit bd8e397

Please sign in to comment.