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.
News
- Accommodation is now available for booking via the following link. Due to the state flower show and the celebrations regarding 1000 years of Bamberg Cathedral we expect that accommodation will be in high demand. Therefore, we recommend booking as early as possible.
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.
