The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015 - https://sites.google.com/site/avocs15/) will take place 1-4 September 2015 in Edinburgh, UK. The aim of AVoCS is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.).
The workshop is organised by Gudmund Grov and Andrew Ireland, while Yuhui Lin is publicity and local arrangement chair. All the organisers are from Heriot-Watt University in Edinburgh. The workshop will be organized in the ICMS building, located in the centre of the historic old town of Edinburgh, a UNESCO world heritage site. It will feature invited speakers from Colin O’Halloran (D-RisQ & the University of Oxford) and Don Sannella (Contemplate & the University of Edinburgh). The 6th AI4FM workshop (http://www.ai4fm.org/ai4fm-2015/) will be co-located with AVoCS, and FME is sponsoring two bursaries for AVoCS and AI4FM. We are looking forward to a lively workshop and welcome your participation in the event.