Fifth International Workshop
Photos of the whole event can be found here.
The aim of this workshop is to encourage interaction and exchange of ideas among members of the international research community. Particularly, we hope to achieve integration and transfer of knowledge between academia and industry.
The workshop subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification (model checking, theorem proving, specification, etc) pertaining to various types of critical systems, be it safety-critical, business-critical, or performance-critical.
The technical programme will consist of invited talks, regular papers, and short presentations. The workshop will be relatively informal, with an emphasis on discussion.
The Call for Papers is available in PDF format here.
The Poster for AVoCS '05 (A3 size, full colour) is available in PDF format here. Please feel free to print a copy and advertise in your department.
Previous AVoCS workshops were held at the University of Oxford (2001), the University of Birmingham (2002), the University of Southampton (2003), and the Royal Society in London (2004).
Contributions should have relevance to critical systems in a broad sense. Two types of contributions will be considered:
The workshop programme can be found here.
Preliminary proceedings will be published by the University of Warwick and distributed at the workshop. They will include preliminary versions of regular papers, and abstracts of short presentations.
After the workshop, authors of regular papers will have an option to prepare a final version for ENTCS proceedings, and to submit a full version for a special issue of a high-quality international journal.
Please submit your paper through the AVoCS'05 submission system. If you encounter any difficulties, please send a message to the workshop email address.
The workshop is based around Arden House, a conference facility on
the Westwood Campus of the University
of Warwick. Arden House is managed by Warwick Conferences,
and further details about it are available on their website. The Getting Here section of the same
website contains maps and travel directions.
The talks will be in Felden Hall, across the road from Arden. Participants should pick up workshop materials, including proceedings, on Monday morning between 9am and 11am from Felden Hall. Lunches will be in Arden, and dinner on Sunday is a buffet service, also at Arden, available between 8:00pm and 9:00pm. The workshop dinner will be in Scarman House. Arden and Scarman are marked clearly on this map.
Participants with regular accommodation will have rooms and
breakfasts in Arden House.
Participants with student accommodation will also be given rooms in Arden House. This is a last-minute change.One or more of the organisers will be available at Arden House from 7.45 p.m. until 9.30 p.m. Sunday, if anyone needs assistance.
The workshop fee includes a copy of the pre-proceedings. It also includes lunch on both days and coffee and tea. In addition, you can sign up for dinner on Sunday night. All meals are three-course and prepared by chefs on the premises for Warwick Conferences. There will also be a workshop dinner on Monday night.Housing is on the Warwick campus. The accommodation for all participants is in Arden House, which is of a quality comparable to a 4-star hotel. All accommodation is ensuite and includes breakfast. We have reserved a block of rooms for Sun and Mon night. If a longer stay is required, it should be possible to arrange.
To register, please copy and paste this form into an email and send to the workshop email address as soon as possible, and by 4 September 2005.
If you are paying by cheque, please post it to AVoCS '05, C/o Catherine Pillet, Department of Computer Science, University of Warwick, Coventry CV4 7AL, UK. The cheque should be in pounds sterling and payable to the University of Warwick.
WorldPay secure credit card payment systemIf you would like to pay by credit card, please send us the completed registration form. Then enter your name and total dues below and click on 'Enter WorldPay'. Please note that the university does not accept American Express or Diner's Club cards.
Important Note: Short presentations will be accepted on a first-come, first-served basis until the 25th July.
Workshop email address: avocs05 <AT>