Logic List Mailing Archive

SVARM / VERIFY (Synthesis, Verification and Analysis of Rich Models)

30 Jun - 1 Jul 2012
Manchester, U.K.

Call for Papers

              Joint SVARM & VERIFY Workshop 2012

                  affiliated with IJCAR 2012
               Manchester, UK, June 30 / July 1

 	 http://baldur.iti.kit.edu/SVARM-VERIFY-2012


Overview
--------

Verification has developed into a flourishing research field attracting
researchers with different backgrounds, ranging from computation/proof
theory, deductive systems, and model checking to hardware/software
analysis andsoftware engineering. With this joint workshop we want to
bring together researchers from these fields to discuss topics on
verification of computer systems as well as underlying theoretical
foundations. The workshop combines the already established workshops
SVARM and VERIFY.

SVARM
-----

Tools for automated analysis of computer systems are nowadays employed
in areas as diverse as software development, hardware design, or
knowledge representation. Despite many success stories, today's
analysis methods are still not widespread in engineering practice. The
SVARM (Synthesis, Verification, and Analysis of Rich Models) workshop
explores directions and techniques for making automated reasoning
(including analysis and synthesis) applicable to a wider range of
problems, as well as making them easier to use by researchers, software
developers, hardware designers, and information system users and
developers.

VERIFY
------

The VERIFY workshops aim at bringing together people who are interested
in the development of safety and security critical systems, in formal
methods, in the development of automated theorem proving techniques,
and in the development of tool support. Practical experiences gained in
realistic verifications are of interest to the automated theorem
proving community, and new theorem proving techniques should be
transferred into practice. The overall objective of the VERIFY
workshops is to identify open problems and to discuss possible
solutions under the theme: What are the verification problems? What are
the deduction techniques?

Submission Format
-----------------

There are two different categories to submit papers in:

- Regular paper: Submissions in this category describe previously
   unpublished work (completed or in progress), including descriptions
   of research tools, and applications. Papers must be 6-15 pages long
   (in Springer LNCS style).

- Discussion paper: Submissions in this category are intended to
   initiate discussions and hence should address controversial issues.
   Papers must be 3-15 pages long (in Springer LNCS style).

Please also indicate with your submission, whether you consider your
paper more suitable for the VERIFY or SVARM part of the joint workshop.

Submission of papers to the Joint SVARM & VERIFY 2012 Workshop is via
EasyChair: https://www.easychair.org/conferences/?conf=svarmverify2012.

Each accepted paper shall be presented at the workshop and at least one
author of each paper must attend the workshop. The collection of
accepted papers will be distributed at the workshop and will also be
published in the CEUR Workshop Proceedings series.

Important Dates
---------------

May 14, 2012:   Abstract submission deadline.
May 21, 2012:   Paper submission

May 30, 2012:   Notifications sent to authors.
June 8, 2012:   Final versions of papers due.

June 30 /
July 1, 2012:   Workshop.

Organizing Committee
--------------------

Chairs:	    Viktor Kuncak, EPFL Lausanne, Switzerland
             Carsten Sinz, KIT, Karlsruhe, Germany

For a list of members of the program committee see the web page:

http://baldur.iti.kit.edu/SVARM-VERIFY-2012