Ninth International Workshop on Automated Verification of Critical Systems

Image of Gregynog Logo for AVoCS 2009

Swansea University Computer Science, 23-25 September 2009

PreProceedings

The workshop PreProceedings are available as Technical Report CSR-2-2009 of Swansea University: pdf

The bibtex entry of the PreProceedings is:

@Proceedings{avocs09,
  editor    = "Liam O'Reilly and Markus Roggenbach",
  title     = "AVoCS'09 -- PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems",
  publisher = "Swansea University, Wales, UK",
  series    = "Technical Report of Computer Science CSR-2-2009",
  year      = "2009",
}

Proceedings

After the workshop, the authors of accepted papers will have about one month in order to revise their papers for publication in the workshop proceedings which will appear in the Electronic Communications of the EASST.

The authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal Science of Computer Programming (Guest editor: Markus Roggenbach).