imported>Colin at 09:58, 16 October 2017

2017-10-16T09:58:27Z

← Older revision		Revision as of 09:58, 16 October 2017
Line 30:		Line 30:

	This years workshop theme is		This years workshop theme is
	"Event-B and Rodin - past, present and future"		''''Event-B and Rodin - past, present and future''''
	and we invite contributions that		and we invite contributions that
	a) summarise achievements or developments during the last ten years,		<ol style="list-style-type:lower-alpha">
	b) report current (academic/industrial) uses and developments or		<li>summarise achievements or developments during the last ten years,</li>
	c) proposals for the future evolution of Event-B and Rodin.		<li>report current (academic/industrial) uses and developments or</li>
			<li>proposals for the future evolution of Event-B and Rodin.</li>
			</ol>
	We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.		We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.

imported>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

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..."

New page

== 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 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 7th Rodin workshop will be collocated with the ABZ 2018 Conference:

https://www.southampton.ac.uk/abz2018/

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 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
a) summarise achievements or developments during the last ten years,
b) report current (academic/industrial) uses and developments or
c) 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.

Organisers

Colin Snook, University of Southampton
Stefan Hallerstede, Aarhus University

Rodin Workshop 2018 CFP - Revision history

imported>Colin at 09:58, 16 October 2017

imported>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..."