<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;">
<div>
<div>
<div>
<dl style="margin-top: 0.2em; margin-bottom: 0.5em; font-family: sans-serif; font-size: 13px; line-height: 19.0499992370605px; background-color: rgb(255, 255, 255);">
<dt style="font-weight: bold; margin-bottom: 0.1em;">The 13th Overture Workshop</dt><dt style="font-weight: bold; margin-bottom: 0.1em;">Will be held on the 23rd June 2015 in connection with the Formal Methods 2015 symposium</dt><dt style="font-weight: bold; margin-bottom: 0.1em;"><a href="http://wiki.overturetool.org/index.php/13th_Overture_Workshop" class="external free" title="http://wiki.overturetool.org/index.php/13th_Overture_Workshop" rel="nofollow" style="text-decoration: none; color: rgb(51, 102, 187); padding-right: 13px; background-image: url(http://wiki.overturetool.org/skins/monobook/external.png); background-position: 100% 50%; background-repeat: no-repeat no-repeat;">http://wiki.overturetool.org/index.php/13th_Overture_Workshop</a></dt></dl>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
This is the 13th in a series of workshops on the Vienna Development Method (VDM) seen in the open-source Overture setting. Although VDM is one of the oldest formal methods to have enjoyed a level of industry use, it nevertheless has a lively and youthful research
community, which has grown up around the development of the Overture open tools platform. On top of the Overture platform the Crescendo and Symphony tools from respectively the DESTECS and COMPASS projects, as well as the new development that will take place
in the new INTO-CPS project (see <a href="http://into-cps.au.dk/" class="external free" title="http://into-cps.au.dk/" rel="nofollow" style="text-decoration: none; color: rgb(51, 102, 187); padding-right: 13px; background-image: url(http://wiki.overturetool.org/skins/monobook/external.png); background-position: 100% 50%; background-repeat: no-repeat no-repeat;">http://into-cps.au.dk/</a>).
The platform provides a vehicle for activity in modelling and analysis technology including static analysis, interpreters, test generation and execution support and model checking. The growth of this community has been greatly assisted by the Overture workshop
series. There is a long tradition for having these workshops co-located with the FM symposia (2005, 2006, 2008, 2011 and 2012). We did not collocate with the FM’14 symposium in Singapore since we felt that it would be hard to gather enough attendance so instead
John Fitzgerald, Ken Pierce and Peter Gorm Larsen delivered a Crescendo tutorial (see<a href="http://crescendotool.org/" class="external free" title="http://crescendotool.org/" rel="nofollow" style="text-decoration: none; color: rgb(51, 102, 187); padding-right: 13px; background-image: url(http://wiki.overturetool.org/skins/monobook/external.png); background-position: 100% 50%; background-repeat: no-repeat no-repeat;">http://crescendotool.org/</a>).
Proceedings of previous workshops may be obtained from <a href="http://www.overturetool.org/" class="external free" title="http://www.overturetool.org/" rel="nofollow" style="text-decoration: none; color: rgb(51, 102, 187); padding-right: 13px; background-image: url(http://wiki.overturetool.org/skins/monobook/external.png); background-position: 100% 50%; background-repeat: no-repeat no-repeat;">http://www.overturetool.org/</a>.</p>
<h3 style="margin: 0px 0px 0.3em; padding-top: 0.5em; padding-bottom: 0.17em; border-bottom-style: none; font-size: 17px; font-family: sans-serif; line-height: 19.0499992370605px; background-image: none; background-color: rgb(255, 255, 255);">
<span class="mw-headline">Call for Papers</span></h3>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
Our workshop aims to provide 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 and real-time systems. We strongly welcome contributions
on the development of tools for VDM as well as developments in foundations and reports of practical experience. The scope of the workshop includes, but is not restricted to:</p>
<ul style="line-height: 19.0499992370605px; list-style-type: square; margin: 0.3em 0px 0px 1.5em; padding: 0px; list-style-image: url(http://wiki.overturetool.org/skins/monobook/bullet.gif); font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
<li style="margin-bottom: 0.1em;">Reports of applications of VDM technology, especially reports of industrial use.</li><li style="margin-bottom: 0.1em;">Papers describing requirements, designs, implementations and case studies of support tools for VDM, whether or not implemented on the Overture open tools platform.</li><li style="margin-bottom: 0.1em;">Papers on the foundations and methodology associated with VDM and its extensions, including the description of real-time and distributed systems.</li><li style="margin-bottom: 0.1em;">Papers combining VDM with other notations and tools.</li><li style="margin-bottom: 0.1em;">Position papers on VDM and its promotion in industry practice.</li><li style="margin-bottom: 0.1em;">Papers on extensions of Overture including Crescendo, Symphony and VDMPad.</li></ul>
<h3 style="margin: 0px 0px 0.3em; padding-top: 0.5em; padding-bottom: 0.17em; border-bottom-style: none; font-size: 17px; font-family: sans-serif; line-height: 19.0499992370605px; background-image: none; background-color: rgb(255, 255, 255);">
<span class="mw-headline">Important Dates</span></h3>
<ul style="line-height: 19.0499992370605px; list-style-type: square; margin: 0.3em 0px 0px 1.5em; padding: 0px; list-style-image: url(http://wiki.overturetool.org/skins/monobook/bullet.gif); font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
<li style="margin-bottom: 0.1em;"><b>7th April 2015: Submission deadline for workshop papers</b></li><li style="margin-bottom: 0.1em;">1st May 2015: Notification to workshop paper authors</li><li style="margin-bottom: 0.1em;">1st June 2015: Final version of workshop papers due</li></ul>
<h3 style="margin: 0px 0px 0.3em; padding-top: 0.5em; padding-bottom: 0.17em; border-bottom-style: none; font-size: 17px; font-family: sans-serif; line-height: 19.0499992370605px; background-image: none; background-color: rgb(255, 255, 255);">
<span class="mw-headline">Organisers</span></h3>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
Fuyuki ISHIKAWA, National Institute of Informatics, Japan</p>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
Peter Gorm LARSEN, Aarhus University, Denmark</p>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
The organising committee can be reached via the following e-mail address: <a href="mailto:workshop-oc@overturetool.org">workshop-oc@overturetool.org</a></p>
<h3 style="margin: 0px 0px 0.3em; padding-top: 0.5em; padding-bottom: 0.17em; border-bottom-style: none; font-size: 17px; font-family: sans-serif; line-height: 19.0499992370605px; background-image: none; background-color: rgb(255, 255, 255);">
<span class="mw-headline">Program Committee</span></h3>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
K Araki, Kyushu University, Japan</p>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
N Battle, Fujitsu, UK</p>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
J S Fitzgerald, Newcastle University, UK</p>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
T Oda, Software Research Associates, Inc., Japan</p>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
JN Oliveira, Minho University, Portugal</p>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
N Plat, West Consulting, Netherlands</p>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
V Stolz, Oslo University, Norway</p>
<p style="margin: 0.4em 0px 0.5em; line-height: 19.0499992370605px; font-family: sans-serif; font-size: 13px; background-color: rgb(255, 255, 255);">
M Verhoef, European Space Agency, Netherlands</p>
</div>
<div>
<div><b>Peter Gorm Larsen</b></div>
<div>Professor, PhD (head of software engineering)</div>
<div>Telephone: +45 41 89 32 60</div>
<div>Mail: pgl@eng.au.dk</div>
<div>Aarhus University, Department of Engineering, Finlandsgade 22, DK-8200 Aarhus N, Phone: +45 41893000 </div>
<div><br>
</div>
</div>
</div>
</div>
</body>
</html>