Ninth International Workshop on Automated Verification of Critical Systems

Image of Gregynog Logo for AVoCS 2009

Swansea University Computer Science, 23-25 September 2009

Important Dates

26 June 2009Deadline for submission of full papers
24 July 2009Author notification for full papers
05 August 2009 (extended)Deadline for submission of short contributions
12 August 2009 (extended)Author notification for short contributions
28 August 2009Deadline for final version of full papers & short contributions
23-25 September 2009Workshop