Software Technologies Research Group organizes AVoCS 2012

The Software Technologies Research Group organizes the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012) which will take place at the Otto-Friedrich-University in Bamberg, Germany, between 18th and 20th September 2012.

The aim of AVoCS 2012 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 technical programme will consist of invited and contributed talks and also allow for short presentations of ongoing work.