Difference between revisions of "Rodin Workshop 2018"
From Event-B
Jump to navigationJump to searchimported>Colin (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...") |
imported>WikiSysop |
||
| Line 12: | Line 12: | ||
;Date: 5-8 June, 2018 | ;Date: 5-8 June, 2018 | ||
| − | ;Venue: | + | ;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 17: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
- summarise achievements or developments during the last ten years,
- report current (academic/industrial) uses and developments or
- 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
