8th Rodin User and Developer Workshop (26th May)
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 experi- ences 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.
Call for Contributions
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 email@example.com by 24 April 2020 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.
More information about the workshop can be found here: