18-20th September 2012

Bamberg, Germany

12th International Workshop on Automated Verification of Critical Systems

The 12th International Workshop on Automated Verification of Critical Systems will take place at the Otto-Friedrich University in Bamberg, Germany. The workshop will run from morning on Tuesday 18th September to midday on Thursday 20th September 2012.


Photos are now up here!

Slides are now avaliable for some of the workshop talks:

About AVoCS

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 subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, security-critical, business-critical, performance-critical, etc). Contributions that describe different techniques, or industrial case studies are encouraged. The technical programme will consist of invited and contributed talks and also allow for short presentations of ongoing work. The workshop will be relatively informal, with an emphasis on discussion.

About Bamberg

The city of Bamberg is located in the Upper Franconia region of Northern Bavaria in Germany. It is easily reachable by train from the major airports in Frankfurt and Munich and from the regional airport in Nuremberg.

Bamberg has a rich history dating back to its founding in the 10th century. The historic city center was designated a UNESCO World Heritage Site in 1993 making the city a popular tourist destination. The city also has a reputation for producing excellent beers from its eight local breweries.

The Otto-Friedrich University is home to more than 12,000 students and has faculties in the Humanities, Social Sciences, Business Administration and Economics. In addition, the university contains an interdisciplinary faculty in computer and information sciences.