From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Son |
|
Line 1: |
Line 1: |
− | =The 8th Rodin User and Developer Workshop, 26 May, 2020, Ulm, Germany=
| |
| | | |
− | [https://abz2020.uni-ulm.de/workshop Rodin Workshop 2020 Website @ ABZ2020]
| |
− |
| |
− | 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 8th Rodin workshop will be collocated with the [https://abz2020.uni-ulm.de ABZ2020 Conference].
| |
− |
| |
− | 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.
| |
− |
| |
− | 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 [mailto:rodin@ecs.soton.ac.uk?subject=%91RodinWorkshop2020%93%20Contribution rodin@ecs.soton.ac.uk] by '''24 April 2020''' with subject '''[RodinWorkshop2020] Contribution''', indicating whether it is a tool usage or tool development presentation.
| |
− |
| |
− | We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.
| |
− |
| |
− | The proceedings of the workshop will be available as a technical report at the University of Southampton.
| |
− |
| |
− | ==Organisers==
| |
− |
| |
− |
| |
− | Asieh Salehi Fathabadi, University of Southampton
| |
− |
| |
− | Thai Son Hoang, University of Southampton
| |
− |
| |
− | Colin Snook, University of Southampton
| |
Latest revision as of 20:50, 30 April 2020