Difference between revisions of "Rodin Workshop 2018"

From Event-B
Jump to: navigation, search
(Call For Papers)
(Call For Papers)
Line 28: Line 28:
 
== Call For Papers ==
 
== Call For Papers ==
  
 +
THERE WAS A PROBLEM WITH THE SUBMISSIONS EMAIL ALIAS - PLEASE RE-SEND SUBMISSIONS TO CFS@SOTON.AC.UK
 
If you are interested in giving a presentation or plug-in demonstration at the Rodin workshop please submit an abstract. We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.
 
If you are interested in giving a presentation or plug-in demonstration at the Rodin workshop please submit an abstract. We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.
  

Revision as of 11:15, 4 May 2018

The 7th Rodin workshop will be collocated with the ABZ 2018 Conference

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 provides 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. propose future evolution of Event-B and Rodin.
Date
5th June, 2018
Venue
Southampton UK
Organisers
Colin Snook (University of Southampton) & Stefan Hallerstede (Aarhus University)

Call For Papers

THERE WAS A PROBLEM WITH THE SUBMISSIONS EMAIL ALIAS - PLEASE RE-SEND SUBMISSIONS TO CFS@SOTON.AC.UK If you are interested in giving a presentation or plug-in demonstration at the Rodin workshop please submit an abstract. We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.

Submission deadline 
28 April 2018 2nd May 2018
Submission to
rodin@ecs.soton.ac.uk please RE-SEND to cfs@soton.ac.uk
Submission format 
extended abstract (1 to 2 page description with title and authors and references but no abstract in header; the whole paper is considered to be the abstract - PDF)
Submission Instructions
Please indicate within the text whether the submission is about tool usage or tool development and consider where your contribution fits in this years theme, 'Event-B and Rodin - past, present and future'