Difference between revisions of "Rodin Workshop 2018"

From Event-B
Jump to: navigation, search
(Created page with "The 7th Rodin workshop will be collocated with the ABZ 2018 Conference: https://www.southampton.ac.uk/abz2018/ '''Theme''' This years workshop theme is ''''Event-B and Rod...")
 
Line 12: Line 12:
  
 
;Date: 5-8 June, 2018
 
;Date: 5-8 June, 2018
;Venue: <TBD>, 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: [[Rodin_Workshop_2018_CFP]]
 
;Call: [[Rodin_Workshop_2018_CFP]]

Revision as of 18:09, 15 January 2018

The 7th Rodin workshop will be collocated with the ABZ 2018 Conference: https://www.southampton.ac.uk/abz2018/

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
Rodin_Workshop_2018_CFP
Submission 
short abstract (1 or 2 pages PDF)
Submission deadline 
28 April 2018
Submission to
rodin@ecs.soton.ac.uk