Difference between revisions of "Rodin Workshop 2018"
imported>Colin (Created page with "The 7th Rodin workshop will be collocated with the ABZ 2018 Conference: https://www.southampton.ac.uk/abz2018/ '''Theme''' This years workshop theme is ''''Event-B and Rod...") |
imported>Colin |
||
| (22 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | The 7th Rodin workshop will be collocated with the | + | The 7th Rodin workshop will be collocated with the [https://www.southampton.ac.uk/abz2018/ ABZ 2018 Conference] |
| − | ''' | + | '''THE PROGRAMME FOR THE WORKSHOP IS PUBLISHED ON THE MAIN CONFERENCE WEBSITE''' |
| − | This years workshop theme is | + | https://www.southampton.ac.uk/abz2018/participants/programme.page |
| − | + | ||
| − | and we invite contributions that | + | Event-B is a formal method for system-level modelling and analysis. The |
| + | Rodin Platform is an Eclipse-based toolset for Event-B that provides | ||
| + | effective support for modelling and tool-assisted reasoning, in particular, | ||
| + | automated proof. The platform is open source and can be extended with | ||
| + | plug-ins. A range of plug-ins are available that can be installed via the | ||
| + | built-in extensions mechanism of Eclipse. | ||
| + | |||
| + | The purpose of this workshop is to bring together existing and potential | ||
| + | users and developers of the Rodin toolset and to foster a broader community | ||
| + | of Rodin users and developers. For Rodin users the workshop provides an opportunity to share tool | ||
| + | experiences and to gain an understanding of on-going tool developments. | ||
| + | For plug-in developers the workshop will provide an opportunity to showcase | ||
| + | their tools and to achieve better coordination of tool development effort. | ||
| + | |||
| + | ;Theme: This years workshop theme is ''''Event-B and Rodin - past, present and future'''' and we invite contributions that | ||
<ol style="list-style-type:lower-alpha"> | <ol style="list-style-type:lower-alpha"> | ||
<li>summarise achievements or developments during the last ten years,</li> | <li>summarise achievements or developments during the last ten years,</li> | ||
<li>report current (academic/industrial) uses and developments or</li> | <li>report current (academic/industrial) uses and developments or</li> | ||
| − | <li> | + | <li>propose future evolution of Event-B and Rodin.</li> |
</ol> | </ol> | ||
| − | ;Date: | + | ;Date: 5th June, 2018 |
| − | ;Venue: | + | ;Venue: Southampton UK |
;Organisers: Colin Snook (University of Southampton) & Stefan Hallerstede (Aarhus University) | ;Organisers: Colin Snook (University of Southampton) & Stefan Hallerstede (Aarhus University) | ||
| − | + | ||
| − | + | == Call For Papers == | |
| − | ;Submission deadline : 28 April 2018 | + | |
| + | |||
| + | |||
| + | |||
| + | |||
| + | If you are interested in giving a presentation or plug-in demonstration at the Rodin workshop please submit an abstract. We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B. | ||
| + | |||
| + | ;Submission deadline : <del>28 April 2018</del> 2nd May 2018 | ||
;Submission to: rodin@ecs.soton.ac.uk | ;Submission to: rodin@ecs.soton.ac.uk | ||
| + | ;Submission format : extended abstract (1 to 2 page description with title and authors and references but no abstract in header; the whole paper is considered to be the abstract - PDF) | ||
| + | ;Submission Instructions: Please indicate within the text whether the submission is about tool usage or tool development and consider where your contribution fits in this years theme, ''''Event-B and Rodin - past, present and future'''' | ||
Latest revision as of 12:46, 24 May 2018
The 7th Rodin workshop will be collocated with the ABZ 2018 Conference
THE PROGRAMME FOR THE WORKSHOP IS PUBLISHED ON THE MAIN CONFERENCE WEBSITE https://www.southampton.ac.uk/abz2018/participants/programme.page
Event-B is a formal method for system-level modelling and analysis. The Rodin Platform is an Eclipse-based toolset for Event-B that provides effective support for modelling and tool-assisted reasoning, in particular, automated proof. The platform is open source and can be extended with plug-ins. A range of plug-ins are available that can be installed via the built-in extensions mechanism of Eclipse.
The purpose of this workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers. For Rodin users the workshop provides an opportunity to share tool experiences and to gain an understanding of on-going tool developments. For plug-in developers the workshop will provide an opportunity to showcase their tools and to achieve better coordination of tool development effort.
- Theme
- This years workshop theme is 'Event-B and Rodin - past, present and future' and we invite contributions that
- summarise achievements or developments during the last ten years,
- report current (academic/industrial) uses and developments or
- propose future evolution of Event-B and Rodin.
- Date
- 5th June, 2018
- Venue
- Southampton UK
- Organisers
- Colin Snook (University of Southampton) & Stefan Hallerstede (Aarhus University)
Call For Papers
If you are interested in giving a presentation or plug-in demonstration at the Rodin workshop please submit an abstract. We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.
- Submission deadline
28 April 20182nd May 2018- Submission to
- rodin@ecs.soton.ac.uk
- Submission format
- extended abstract (1 to 2 page description with title and authors and references but no abstract in header; the whole paper is considered to be the abstract - PDF)
- Submission Instructions
- Please indicate within the text whether the submission is about tool usage or tool development and consider where your contribution fits in this years theme, 'Event-B and Rodin - past, present and future'
