[Om-announce] AVoCS 2007 - Deadline Extension

[Elizabeth Walsh]

                          AVoCS 2007

7th International Workshop on Automated Verification of Critical Systems

             Oxford, 10-12 September 2007
             http://www.comlab.ox.ac.uk/avocs07/

Due to numerous requests, the Programme Committee have decided to extend
the submission deadlines for both regular papers and short submissions:

      REVISED IMPORTANT DATES

  9 July:            Extended deadline for regular papers
13 July:            Extended deadline for short submissions
30 July:            Acceptance notification
14 August:          Papers revised for preliminary proceedings
31 August:          Registration deadline
10--12 September:   Workshop


                       *CALL FOR PAPERS*


      SCOPE

The aim of AVoCS 2007 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 combinations
of different techniques, and industrial case studies are particularly
encouraged.

Since AVoCS is returning to its origins in Oxford, where it developed
out of a series of informal workshops based around CSP, we hope to
receive a number of submissions this year relating to CSP, its tools and
applications; papers based on other formalisms are also very welcome, of
course.  The technical programme will consist of invited and contributed
talks and also allow for short presentations of work in progress.  The
workshop will be relatively informal, with an emphasis on discussion.

Previous AVoCS workshops were held at the University of Oxford (2001),
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


      PROCEEDINGS

Preliminary proceedings will be distributed at the workshop.  These will
include preliminary versions of regular papers (up to 15 pages) as well
as abstracts of short submissions (up to 5 pages).  After the workshop,
authors of regular papers will be asked to prepare a final version for
publication in Electronic Notes in Theoretical Computer Science.  Full
instructions to authors can be found on the conference website.

We have preliminary agreement that the workshop will give rise to a
special issue of Formal Aspects of Computing.

      PROGRAMME COMMITTEE

Michael Goldsmith (Formal Systems, UK, co-chair)
Bill Roscoe (Oxford University, UK, co-chair)
Patricia Bouyer (Cachan, France)
Sadie Creese (Warwick, UK)
Constance Heitmeyer (NRL, USA)
Michael Huth (Imperial College, UK)
Marta Kwiatkowska (B'ham/Oxford, UK)
Ranko Lazic (Warwick, UK)
Christie Marr (St Andrews, UK)
Stephan Merz (LORIA, France)
Paritosh Pandya (TIFR, India)
Markus Roggenbach (Swansea, UK)
Peter Ryan (Newcastle, UK)
Helen Treharne (Surrey, UK)
Sergio Yovine (Verimag, France)
Irfan Zakiuddin (Imperial College, UK)


      INVITED SPRAKERS

Muffy Calder (Glasgow, UK)
Jim Davies (Oxford, UK)
Jakob Rehof (Dortmund, Germany)
Antti Valmari (Tampere, Finland)

      CONTACT

Workshop organisers' email:
avocs07 at comlab.ox.ac.uk


        SUBMISSION

Via conference website:
http://www.comlab.ox.ac.uk/avocs07/