Difference between revisions of "Rodin Workshop 2018"
imported>Colin |
imported>Colin |
||
Line 1: | Line 1: | ||
The 7th Rodin workshop will be collocated with the ABZ 2018 Conference: https://www.southampton.ac.uk/abz2018/ | The 7th Rodin workshop will be collocated with the ABZ 2018 Conference: https://www.southampton.ac.uk/abz2018/ | ||
+ | |||
+ | 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 will provide 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''' | '''Theme''' | ||
Line 14: | Line 30: | ||
;Venue: Southampton UK | ;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 : short abstract (1 or 2 pages PDF) | ;Submission : short abstract (1 or 2 pages PDF) | ||
Line 20: | Line 38: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
If you are interested in giving a presentation at the Rodin workshop or | If you are interested in giving a presentation at the Rodin workshop or |
Revision as of 12:58, 8 March 2018
The 7th Rodin workshop will be collocated with the ABZ 2018 Conference: https://www.southampton.ac.uk/abz2018/
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 will provide 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
- proposals for the future evolution of Event-B and Rodin.
- Date
- 5-8 June, 2018
- Venue
- Southampton UK
- Organisers
- Colin Snook (University of Southampton) & Stefan Hallerstede (Aarhus University)
Call For Papers
- Submission
- short abstract (1 or 2 pages PDF)
- Submission deadline
- 28 April 2018
- Submission to
- rodin@ecs.soton.ac.uk
If you are interested in giving a presentation at the Rodin workshop or have a plug-in to demonstrate, send a short abstract (1 or 2 pages PDF) to rodin@ecs.soton.ac.uk by 28 April 2018 indicating whether it is a tool usage or tool development presentation.
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
- proposals for the future evolution of Event-B and Rodin.
We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.