The Coq mailing list

[AVoCS07 <avocs07 AT comlab.ox.ac.uk>]

                         AVoCS 2007

Seventh International Workshop on Automated Verification of Critical Systems

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

                 *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


     IMPORTANT DATES

29 June:            Paper submission deadline
27 July:            Acceptance notification
14 August:          Papers revised for preliminary proceedings
31 August:          Registration deadline
10--12 September:   Workshop


     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 presentations (up to 5 pages).  After the workshop,
authors of regular papers will be asked to prepare a final version for
proceedings published in Electronic Notes in Theoretical Computer Science.
Full instructions to authors can be found on the conference website.

Preparation of a special issue of a high-quality journal based around the
workshop is under negotiation.  AVoCS workshops have in the past given rise
to special issues of Formal Aspects of Computing and of Software Tools for
Technology Transfer.


     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)


     CONTACT

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


       SUBMISSION

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