Ninth International Workshop on Automated Verification of Critical Systems

Image of Gregynog Logo for AVoCS 2009

Swansea University Computer Science, 23-25 September 2009

Submission

Full papers

Submissions of full papers to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Papers must be written in English and not exceed 15 pages (excluding the title page) in the LaTeX EASST format.

Submission of full papers is closed.

Short contributions

AVoCS 09 encourages the submissions of short contributions in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select short contributions on the basis of submitted abstracts according to significance and general interest. Short contributions must be written in English and not exceed 2 pages (excluding the title page) in the LaTeX EASST format.

Submission of short contributions is now open via easychair.

Short contributions will be included in the form of a 2 page abstract in the AVOCS 09 preproceedings, and will also be invited for submission to the special issue of Elsevier's journal "Science of Computer Programming".

At the workshop, a short contribution will obtain a time slot of at least 15 minutes presentation time + 5 minutes discussion time.