AVoCS 2015 and AI4FM 2015

Date/Time
Date(s) - 01/09/2015 - 04/09/2015
All Day

Location
International Centre for Mathematical Sciences (ICMS)


The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) will take place 1-4 September 2015 in Edinburgh, UK. The workshop is organised by the Computer Science department within the School of Mathematical and Computer Sciences at Heriot-Watt University and will be held in the ICMS building found in the historic old town of the Edinburgh, and will be collocated with the 6th AI4FM workshop, which will be held on 1 September.

Important Dates

Submission of abstract for full papers: 5th June 2015
Submission of full papers: 12th June 2015
Notification (full papers): 14th July 2015
Submission of research idea papers: 7th August 2015
Notification (research idea): 14th August 2015
Early registration: 18th August 2015
Submissions of final versions: 21st August 2015

Invited Speakers

Colin O’Halloran (D-RisQ & the University of Oxford)
Don Sannella (Contemplate & the University of Edinburgh)

SICSA will be able to fund eight places for SICSA students wishing to attend this conference. Details will be announced nearer the time. In the meantime please visit the conference website for more conference information.

This entry was posted in .