Home

The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) will take place 1-4 September 2015 in Edinburgh, Scotland, 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.

Highlights

• Special issue of the SCP. Deadline: 20 May 2016

• Post-Proceedings now published by EASST

• Invited talks by

  • Colin O'Halloran (D-RisQ/Oxford)

  • Don Sannella (Contemplate/Edinburgh)

• AI4FM workshop including invited talk by J Strother Moore (Univerity of Texas at Austin)

Presentation given at AVoCS 2014 is available here. AVoCS 2015 is proudly sponsored by:

• Altran

• D-RisQ Software Systems

• Formal Methods Europe (FME)

• The Scottish Informatics and Computer Science Alliance (SICSA)

About AVoCS

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. The subject is to be interpreted broadly and inclusively. 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, security-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. The technical programme will consist of invited and contributed talks and also allow for short presentations of ongoing work. The workshop will be relatively informal, with an emphasis on discussion.

Previous AVoCS

• 2014 in Twente, the Netherlands

• 2013 in Surrey, U.K.

• 2012 in Bamberg, Germany

• 2011 in Newcastle, U.K.

• 2010 in Düsseldorf, Germany

• 2009 in Swansea, U.K.

Contact

The organisers can be contacted by emailing avocs2015@easychair.org.