Eighth International Workshop on Automated Verification of Critical Systems (AVoCS '08)


			Eighth International Workshop on Automated Verification of Critical Systems Glasgow, 30 September –1 October 2008

Scope Topics Invited Speakers Programme Proceedings Submission of Papers Registration Venue Accommodation Travel Conference Dinner Important Dates Programme Chairs Programme Committee Organising Committee Contact Programme Chairs Alice Miller (University of Glasgow, UK) Muffy Calder (University of Glasgow, UK) Programme Committee Sadie Creese (Warwick Digital Lab, UK) Michael Goldsmith (Warwick, UK) Constance Heitmeyer (Naval Research Laboratory, USA) Marta Kwiatkowska (Birmingham/Oxford, UK) Christie Marr (St Andrews, UK) Stephan Merz (LORIA, France) Alice Miller (Glasgow, UK) Paritosh Pandya (TIFR, India) Nir Piteman (Imperial College, UK) Markus Roggenbach (Wales Swansea, UK) Bill Roscoe (Oxford, UK) Peter Ryan (Newcastle, UK) Helen Treharne (Surrey, UK) Sergio Yovine (Verimag, France) Irfan Zakiuddin (Imperial College, UK) Organising Committee Alice Miller Muffy Calder	Scope The aim of AVoCS 2008 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, abstract interpretation, and refinement pertaining to various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. This year, techniques and studies of ubiquitous, and possibly mobile systems, either user-centred or sensor based, are particularly welcome. 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. The Call for Papers is available in PDF format here. Previous AVoCS workshops were held at the University of Oxford (2001 and 2007 ), the University of Birmingham (2002), the University of Southampton (2003), the Royal Society in London (2004), the University of Warwick (2005) and LORIA, Nancy (2006). Topics Topics include: Model Checking Automatic and Interactive Theorem Proving Abstract Interpretation Specification and Refinement Requirements Capture and Analysis Verification of Software and Hardware Verification of Security-Critical Systems Probabilistic and Real-Time Systems Verified System Development Industrial Applications Submissions Two types of contributions will be considered. In each case should be submitted in PDF format directly via email to the AVoCs '08 programme chairs avocs08<AT>dcs.gla.ac.uk. Regular papers Papers must be 15 pages maximum in length, using the AVoCS '07 LaTeX macro package obtainable at http://www.entcs.org/. Authors should follow the instructions on that webpage. The AVoCS LaTex macro package has been modified for AVoCS '08, which can be obtained from here: prentcsmacro.sty . Authours can also modify the existing AVoCS'07 macro by editing the prentcsmacro.sty file replacing "AVoCS 2007" with "AVoCS 2008". All regular papers will be refereed. At least one author of each accepted regular paper commits to attend the workshop and give a presentation of 30 minutes. Short presentations Papers must be 5 pages maximum in length, using the AVoCS '07 LaTeX macro package obtainable at http://www.entcs.org/. Authors should follow the instructions on that webpage. Subjects suitable for short presentations are brief communications, work in progress and postgraduate student work. At least one author of each accepted short paper commits to attend the workshop and give a presentation of 15 minutes. Invited speakers Kousha Etessami (Edinburgh, UK) Automated Analysis and Verification of Probabilistic Recursive Models Andrew Ireland (Heriot-Watt, UK) Automated Software Verification - a Renaissance Programme A provisional programme can be found here. Proceedings All papers will appear in the AVoCs pre-workshop proceedings, and selected papers will appear in the AVoCS 2007-2008 ENTCS post-workshop proceedings (see below). Important dates 18 July: Paper submission deadline EXTENDED TO Tuesday 22nd July, 5pm 22 August: Acceptance notification 5 September: Papers revised for preliminary proceedings. Authors are advised that revised versions should be sent in pdf format, with no page numbers, maximum 15 pages. (Having problem with page numbers? Check a quick fix here 15 - 22 September: Registration open. Note that the cost of registration is the same for all. 22 September: Registration deadline 30 September- 1 October: Workshop Contact Workshop email address: avocs08<AT>dcs.gla.ac.uk AVoCS '08 Registration Registration cost, including workshop dinner on Tuesday 30th September is £150 or £80 for students (subject to availability). To register please complete the form to be downloaded and return with your payment to the address shown. For convenience we include the registration in Word format. Venue The workshop will be located at the Department of Computing Science at the University of Glasgow, Scotland Accommodation Links to local guest houses can be found via the University of Glasgow Hotel Booking Service. Alternatively we recommend the following reasonably priced local hotels: The Belhaven Hotel The Kelvin Hotel The Kirklee Hotel The Botanic Hotel The Lomond Hotel Travel Information for travelling to Glasgow can be found here. The workshop will be held at the Sir Alwyn Williams Building, which is the new extension at the end of the terrace of buildings on Lilybank Gardens. Lilybank Gardens is directly behind the "Hillhead" underground station. An interactive map of the workshop location can be found here. Conference Dinner this will be at Stravaigin 2 in Ruthven Lane at 6.45pm. Ruthven Lane can be located using the interactive map here.