SAVCBS Logo Call for Papers
Workshop at
September 3-4, 2007

The sixth workshop on specification and verification of component-based systems is affiliated with ACM ESEC/FSE 2007 and will be held in Dubrovnik, Croatia, September 3-4, 2007. Eight page papers are due on June 25, 2007. Details on paper submission follow a general description of the workshop below.

Themes and Topics of Interest

SAVCBS is focused on using formal (i.e., mathematical) techniques to establish a foundation for the specification and verification of component-based systems. Specification techniques are urgently needed to support effective reasoning about systems composed from components. Component-based approaches also underscore the need for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop will consider formalization of both functional and non-functional behavior (such as performance or reliability). Suggested research topics of interest include (but are not limited to): We are soliciting position papers from researchers and practitioners in the areas of component-based software engineering and formal methods. Submissions should outline the current state of research or practice, describe the most pressing shortcomings, and formulate goals for future development.

Challenge Problem

One session during the workshop will be devoted to presenting solutions (full or partial) to a challenge problem. This problem presents features that pose difficulties for current specification technologies. The session will be open both to presenters as well as participants of the workshop. Details on the challenge problem are posted at Solutions should illustrate innovative features of specification or verification as they pertain to this particular problem.


Invitation to the workshop will be based on accepted position papers. An ideal position paper would identify new research topics, areas, or problems related to component-based software engineering. It should address the following questions. Important dates
        Submission deadline: June 25, 2007
        Notification date: July 15, 2007
        Final versions: August 23, 2007

Submissions must not exceed 8 pages, including figures and bibliographical references. We encourage, but do not require, use of the ACM Conference format. We also suggest that you add page numbers to your submission, to make adding comments easier. Papers will be accepted in PDF or Postscript format. Papers will be submitted on-line at

We will notify authors that are selected for presentation to the workshop by July 15, 2007. Some authors will be invited to attend but not to present their work formally, and others may have short presentations. All invited authors will have pages in the workshop proceedings. The final versions of papers for invited authors will be due on August 23, 2007.

Papers will be part of the ACM Digital Library, and so authors of accepted papers will be asked to sign an ACM copyright form.

Copies of the proceedings will be available on the web before the workshop. Check back here to print a copy before attending.

For more information, visit

Workshop Program Committee:

Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary T. Leavens, and Natasha Sharygina

$Date: 2008/06/02 21:08:15 $

Valid HTML 4.0!