AVoCS 2011
11th International Workshop on Automated Verification of Critical Systems
Welcome to the AVoCs 2011 website
Workshop Venue:
Newcastle University
Workshop Date:
12th - 14th September 2011
The formal presentation of the Microsoft Research Verified Software Milestone Award will be made at AVoCS 2011. The inaugural Award winners are Janet Barnes and Rod Chapman for the Tokeneer Project (http://www.altran-praxis.com/security.aspx).
11 years AVoCS
This years AVoCS workshop will take place in Newcastle University Newcastle upon Tyne
Latest News:
A draft of the workshop proceedings is now available as a Technical Report of Newcastle University: Proceedings of the 11th Workshop on Automated Verification of Critical Systems. CS-TR-1272. Newcastle University, UK. 2011.