Rodin Workshop 2018 - Revision history

imported>Colin at 12:46, 24 May 2018

2018-05-24T12:46:24Z

← Older revision		Revision as of 12:46, 24 May 2018
Line 2:		Line 2:

	'''THE PROGRAMME FOR THE WORKSHOP IS PUBLISHED ON THE MAIN CONFERENCE WEBSITE'''		'''THE PROGRAMME FOR THE WORKSHOP IS PUBLISHED ON THE MAIN CONFERENCE WEBSITE'''

	https://www.southampton.ac.uk/abz2018/participants/programme.page		https://www.southampton.ac.uk/abz2018/participants/programme.page

imported>Colin at 12:45, 24 May 2018

2018-05-24T12:45:58Z

← Older revision		Revision as of 12:45, 24 May 2018
Line 1:		Line 1:
	The 7th Rodin workshop will be collocated with the [https://www.southampton.ac.uk/abz2018/ ABZ 2018 Conference]		The 7th Rodin workshop will be collocated with the [https://www.southampton.ac.uk/abz2018/ ABZ 2018 Conference]

			'''THE PROGRAMME FOR THE WORKSHOP IS PUBLISHED ON THE MAIN CONFERENCE WEBSITE'''

			https://www.southampton.ac.uk/abz2018/participants/programme.page

	Event-B is a formal method for system-level modelling and analysis. The		Event-B is a formal method for system-level modelling and analysis. The

imported>Colin: /* THERE WAS A PROBLEM WITH THE SUBMISSIONS EMAIL ALIAS - PLEASE RE-SEND SUBMISSIONS TO CFS@SOTON.AC.UK */

2018-05-04T15:18:01Z

THERE WAS A PROBLEM WITH THE SUBMISSIONS EMAIL ALIAS - PLEASE RE-SEND SUBMISSIONS TO CFS@SOTON.AC.UK

← Older revision		Revision as of 15:18, 4 May 2018
Line 29:		Line 29:




	~~== '''THERE WAS A PROBLEM WITH THE SUBMISSIONS EMAIL ALIAS - PLEASE RE-SEND SUBMISSIONS TO CFS@SOTON.AC.UK''' ==~~


Line 38:		Line 35:

	;Submission deadline : <del>28 April 2018</del> 2nd May 2018		;Submission deadline : <del>28 April 2018</del> 2nd May 2018
	;Submission to: ~~<del>~~rodin@ecs.~~soton.ac.uk</del> please RE-SEND to cfs@~~soton.ac.uk		;Submission to: rodin@ecs.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 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''''		;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''''

imported>Colin: /* Call For Papers */

2018-05-04T10:16:56Z

Call For Papers

← Older revision		Revision as of 10:16, 4 May 2018
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


			== '''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.

imported>Colin: /* Call For Papers */

2018-05-04T10:15:17Z

Call For Papers

← Older revision		Revision as of 10:15, 4 May 2018
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.

imported>Colin: /* Call For Papers */

2018-05-04T10:13:54Z

Call For Papers

← Older revision		Revision as of 10:13, 4 May 2018
Line 31:		Line 31:

	;Submission deadline : <del>28 April 2018</del> 2nd May 2018		;Submission deadline : <del>28 April 2018</del> 2nd May 2018
	;Submission to: rodin@ecs.soton.ac.uk		;Submission to: <del>rodin@ecs.soton.ac.uk</del> 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 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''''		;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''''

imported>Colin: /* Call For Papers */

2018-04-27T10:12:49Z

Call For Papers

← Older revision		Revision as of 10:12, 27 April 2018
Line 30:		Line 30:
	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.

	;Submission deadline : <del>28 April 2018</del> ~~3rd~~ May 2018		;Submission deadline : <del>28 April 2018</del> 2nd May 2018
	;Submission to: rodin@ecs.soton.ac.uk		;Submission to: rodin@ecs.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 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''''		;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''''

imported>Colin: /* Call For Papers */

2018-04-27T10:03:17Z

Call For Papers

← Older revision		Revision as of 10:03, 27 April 2018
Line 30:		Line 30:
	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.

	;Submission deadline : 28 April 2018		;Submission deadline : <del>28 April 2018</del> 3rd May 2018
	;Submission to: rodin@ecs.soton.ac.uk		;Submission to: rodin@ecs.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 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''''		;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''''

imported>Colin: improve description of what an extended abstract is

2018-04-06T11:16:34Z

improve description of what an extended abstract is

← Older revision		Revision as of 11:16, 6 April 2018
Line 32:		Line 32:
	;Submission deadline : 28 April 2018		;Submission deadline : 28 April 2018
	;Submission to: rodin@ecs.soton.ac.uk		;Submission to: rodin@ecs.soton.ac.uk
	;Submission format : ~~short~~ abstract (1 or 2 ~~pages~~ PDF)		;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 ~~abstract~~ 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''''		;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''''

imported>Colin at 15:10, 8 March 2018

2018-03-08T15:10:59Z

← Older revision		Revision as of 15:10, 8 March 2018
Line 22:		Line 22:
	</ol>		</ol>

	;Date: 5 June, 2018		;Date: 5th June, 2018
	;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)