Rodin Workshop 2018: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older editNewer edit →
imported>Colin
No edit summary
imported>Colin
No edit summary
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:




== Call For Papers ==
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.


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

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

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

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Workshop_2018&oldid=9055’