SAVCBS Logo  Call for Papers
Workshop at ESEC/FSE 2003 - September 1-2, 2003

This workshop, affiliated with ESEC/FSE 2003 will be held in in Helsinki, Finland on September 1 and 2, 2003. Professors Manfred Broy from the Technical University Munich and Matthew Dwyer from Kansas State University will give invited talks. Seven page papers are due on June 9, 2003. 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.


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 9, 2003
        Notification date: June 30, 2003
        Final versions: August 15, 2003

Submissions must not exceed 7 pages. 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 in PDF or Postscript format can be submitted using the following web page:

We will notify authors that are selected for presentation to the workshop by June 30, 2003. 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 15, 2003.

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

We plan to coordinate a special issue of the journal Formal Aspects of Computing (published by Springer Verlag) for revisions of selected papers after the workshop.

For more information, visit

Workshop Paper Selection Committee:


The SAVCBS 2003 workshop gratefully acknowledges financial sponsorship from Microsoft Research and NASA's Research Institute for Advanced Computer Science. We also thank the ACM for helping broker the financial support.

MSR Logo

MSR Logo

Mike Barnett, Steve Edwards, Dimitra Giannakopoulou, and Gary T. Leavens

$Date: 2008/06/02 21:20:13 $