Report on AVoCS/AI4FM 2015 Edinburgh

The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) and the collocated 6th International Workshop on AI for Formal Methods (AI4FM 2015) were hosted by the School of Mathematical and Computer Sciences within Heriot-Watt University on September 1-4, 2015. The workshops took place in headquarters of the International Centre for Mathematical Science (ICMS), located in the historic old town of the Edinburgh.

The workshop programme of AVoCS consisted of regular papers, research ideas papers and two keynote speakers: Don Sannella (Contemplate Ltd & the University of Edinburgh, UK) and Colin O’Halloran (D-RisQ Software Systems & the University of Oxford, UK). We received 24 submitted papers, in which 16 were accepted for presentation at the workshop. We also received 8 research ideas papers, where 6 of them were presented at the workshop. New to AVoCS 2015 was that the research ideas were organised within two discussion-based sessions. Further details of the workshop are available from the AVoCS 2015 webpage:

AI4FM consisted of 1 invited talk by J. Strother Moore (University of Texas at Austin), 9 contributed talks and 1 discussion session on the future of the workshop. Further details are available from the AI4FM 2015 webpage:

The events were sponsored by Altran, D-RisQ, Formal Methods Europe and the Scottish Informatics and Computer Science Alliance. The support from Formal Methods Europe was used to support six of the students attending in terms of reduced registration fees.

Author: Erik de Vink