https://wiki.event-b.org/index.php?title=Rodin_Workshop_2018_CFP&feed=atom&action=historyRodin Workshop 2018 CFP - Revision history2024-03-28T23:21:20ZRevision history for this page on the wikiMediaWiki 1.33.3https://wiki.event-b.org/index.php?title=Rodin_Workshop_2018_CFP&diff=9077&oldid=previmported>Colin at 09:58, 16 October 20172017-10-16T09:58:27Z<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 09:58, 16 October 2017</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l30" >Line 30:</td>
<td colspan="2" class="diff-lineno">Line 30:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>This years workshop theme is </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>This years workshop theme is </div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> <del class="diffchange diffchange-inline">"</del>Event-B and Rodin - past, present and future<del class="diffchange diffchange-inline">"</del></div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> <ins class="diffchange diffchange-inline">''''</ins>Event-B and Rodin - past, present and future<ins class="diffchange diffchange-inline">''''</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>and we invite contributions that </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>and we invite contributions that </div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline"> a) </del>summarise achievements or developments during the last ten years, </div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline"><ol style="list-style-type:lower-alpha"></ins></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline"> b) </del>report current (academic/industrial) uses and developments or </div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline"> <li></ins>summarise achievements or developments during the last ten years,<ins class="diffchange diffchange-inline"></li></ins></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline"> c) </del>proposals for the future evolution of Event-B and Rodin. </div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline"> <li></ins>report current (academic/industrial) uses and developments or<ins class="diffchange diffchange-inline"></li></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline"> <li></ins>proposals for the future evolution of Event-B and Rodin.<ins class="diffchange diffchange-inline"></li></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline"></ol></ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
</table>imported>Colinhttps://wiki.event-b.org/index.php?title=Rodin_Workshop_2018_CFP&diff=9076&oldid=previmported>Colin: Created page with " == The 7th Rodin User and Developer Workshop, 5-8 June, 2018, Southampton, UK == http://wiki.event-b.org/index.php/Rodin_Workshop_2018 Event-B is a formal method for syste..."2017-10-16T09:57:12Z<p>Created page with " == The 7th Rodin User and Developer Workshop, 5-8 June, 2018, Southampton, UK == http://wiki.event-b.org/index.php/Rodin_Workshop_2018 Event-B is a formal method for syste..."</p>
<p><b>New page</b></p><div><br />
== The 7th Rodin User and Developer Workshop, 5-8 June, 2018, Southampton, UK ==<br />
<br />
<br />
http://wiki.event-b.org/index.php/Rodin_Workshop_2018<br />
<br />
Event-B is a formal method for system-level modelling and analysis. The<br />
Rodin Platform is an Eclipse-based toolset for Event-B that provides<br />
effective support for modelling and tool-assisted reasoning, in particular, <br />
automated proof. The platform is open source and can be extended with <br />
plug-ins. A range of plug-ins are available that can be installed via the <br />
built-in extensions mechanism of Eclipse.<br />
<br />
The 7th Rodin workshop will be collocated with the ABZ 2018 Conference:<br />
<br />
https://www.southampton.ac.uk/abz2018/<br />
<br />
The purpose of this workshop is to bring together existing and potential<br />
users and developers of the Rodin toolset and to foster a broader community<br />
of Rodin users and developers.<br />
<br />
For Rodin users the workshop will provide an opportunity to share tool<br />
experiences and to gain an understanding of on-going tool developments.<br />
For plug-in developers the workshop will provide an opportunity to showcase<br />
their tools and to achieve better coordination of tool development effort.<br />
<br />
If you are interested in giving a presentation at the Rodin workshop or<br />
have a plug-in to demonstrate, send a short abstract (1 or 2 pages PDF)<br />
to rodin@ecs.soton.ac.uk by 28 April 2018 indicating whether it is a tool usage or tool development presentation.<br />
<br />
This years workshop theme is <br />
"Event-B and Rodin - past, present and future"<br />
and we invite contributions that <br />
a) summarise achievements or developments during the last ten years, <br />
b) report current (academic/industrial) uses and developments or <br />
c) proposals for the future evolution of Event-B and Rodin. <br />
We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.<br />
<br />
Organisers<br />
<br />
Colin Snook, University of Southampton<br />
Stefan Hallerstede, Aarhus University</div>imported>Colin