[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] AVoCS 2012: Preliminary CFP



[You are receiving this email because you are on the AVoCS mailing list. 
If you
wish to be removed from this list please send a message with the subject
"unsubscribe" to avocs2012@swt-bamberg.de. Apologies if you receive multiple
copies of this message.]

Preliminary Call for Papers: AVoCS 2012

*******************************************************************************
12th International Workshop on Automated Verification of Critical Systems
18-20th September 2012
Bamberg, Germany
http://www.swt-bamberg.de/AVoCS2012/
*******************************************************************************

The aim of AVoCS 2011 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.

Topics include (but are not limited to)

Model Checking
Automatic and Interactive Theorem Proving
SAT, SMT or Constraint Solving for Verification
Abstract Interpretation
Specification and Refinement
Requirements Capture and Analysis
Verification of Software and Hardware
Verification of Security-Critical Systems
Specification and Verification of Fault Tolerance and Resilience
Probabilistic and Real-Time Systems
Dependable Systems
Verified System Development
Industrial Applications

Important Dates

Submission (full papers): 1st June 2012
Notification (full papers): 16th July 2012
Submission (short papers): 23rd July 2012
Notification (short papers): 25th July 2012
Registration deadline (including accommodation): 30th July 2012
Submission of final versions: 3rd August 2012
Workshop: 18-20th September 2012

Submission Details

Full Papers: Submissions of full papers to the workshop must not have been
published or be concurrently considered for publication elsewhere. All
submissions will be peer-reviewed and judged on the basis of originality,
contribution to the field, technical and presentation quality, and 
relevance to
the workshop. Final versions of the papers must be written in English 
and not
exceed 15 pages (excluding the title page) in the EASST LaTeX or MS Word 
format
(http://eceasst.cs.tu-berlin.de/template/).

Short Contributions: AVoCS'12 encourages the submissions of short 
contributions
in order to stimulate discussions at the workshop. Reports on ongoing 
work or
surveys on work published elsewhere are welcome. The Programme Committee 
will
select short contributions on the basis of submitted abstracts according to
significance and general interest. Short contributions must be written in
English and not exceed 2 pages (excluding the title page) in the EASST 
LaTeX or
MS Word format (http://eceasst.cs.tu-berlin.de/template/).

Submission Site: https://www.easychair.org/conferences/?conf=avocs2012

Conference Proceedings & Special Journal Issue

At the workshop, pre-proceedings will be available in the form of a Bamberg
University Report; this report will also include the short contributions.

After the workshop, the authors of accepted papers will have about one 
month in
order to revise their papers for publication in the workshop 
post-proceedings
which will probably appear in the Electronic Communications of the EASST.

We will invite authors of a selection of the best papers presented at the
workshop to submit extended versions of their work for publication in a 
special
issue of Elsevier's journal Science of Computer Programming.

Program Committee

Jiri Barnat (Masaryk U. Brno, CZ)
Radu Calinescu (Aston U., UK)
Keijo Heljanko (Aalto U., FI)
Holger Hermanns (U. Saarbrücken, D)
Cliff Jones (Newcastle U., UK)
Gerald Lüttgen (U. Bamberg, D, Co-Chair)
Stephan Merz (INRIA Nancy & LORIA, F, Co-Chair)
Alice Miller (U. Glasgow, UK)
Markus Roggenbach (Swansea U., UK)
Thomas Santen (Microsoft Research Aachen, D)
Tayssir Touili (LIAFA Paris, F)
Helen Treharne (U. Surrey, UK)
Laurent Voisin (Systerel, F)

Steering Committee

Michael Goldsmith (U. Oxford, UK)
Stephan Merz (INRIA Nancy & LORIA, F)
Markus Roggenbach (Swansea U., UK)

Organization Committee

Gerald Lüttgen
David White
Alexandra Homer