SAVCBS'03
	Specification and Verification  of Component-Based Systems
	Workshop at ESEC/FSE 2003 - September 1-2, 2003

This workshop, affiliated with ESEC/FSE 2003 is to be held in Helsinki, Finland on September 1 and 2, 2003, in Room 505 House of Sciences (Tieteiden talo). Information is available on the following topics.

• 2003 proceedings PDF file (including all papers, posters, and demo abstracts 112 pages, ISU TR #03-11). Note that the workshop will provide attendees with copies during the workshop.
• Separate links to each of the invited talks, papers, demos, and posters for the 2003 workshop. This is useful if you cannot print the entire proceedings or want to view or print individual papers.
• Planned schedule for the 2003 workshop. This also includes links to the invited talks, papers, posters, and demo abstracts.
• Schedule for the 2003 workshop with links to PDF files used in the talks.
• Themes and Goals
• Call for papers (7 page papers were due on June 9, 2003)
• Call for demonstrations (2 page abstracts were due on August 1, 2003)
• Invited Speakers
• Organization
• Sponsors
• Web site for the SAVCBS workshop series

• Important dates

        Submission deadline: June 9, 2003
        Notification date: June 30, 2003
        Final versions: August 1, 2003
        Workshop: September 1 and 2, 2003

Themes and Goals:

We would like to bring together researchers and practitioners in the areas of component-based software and formal methods to address the open problems in modular specification and verification of systems composed from components. We are interested in bridging the gap between principles and practice. The intent of bringing participants together at the workshop is to help form a community-oriented understanding of the relevant research problems and help steer formal methods research in a direction that will address the problems of component-based systems. For example, researchers in formal methods have only recently begun to study principles of object-oriented software specification and verification, but do not yet have a good handle on how inheritance can be exploited in specification and verification. Other issues are also important in the practice of component-based systems, such as concurrency, mechanization and scalability, performance (time and space), reusability, and understandability. The participants will brainstorm about these and related topics to understand both the problems involved and how formal techniques may be useful in solving them.

The goals of the workshop are to produce:

1. An outline of collaborative research topics,
2. A list of areas for further exploration,
3. An initial taxonomy of the different dimensions along which research in the area can be categorized. For instance, static/dynamic verification, modular/whole program analysis, partial/complete specification, soundness/completeness of the analysis, are all continuums along which particular techniques can be placed,
4. A web site that will be maintained after the workshop to act as a central clearinghouse for research in this area, and
5. A special issue of the journal Formal Aspects of Computing (published by Springer Verlag). The journal issue will invite revised and expanded versions of selected papers from this and the previous SAVCBS workshop.

Invited Speakers:

Professors Manfred Broy from the Technical University Munich and Matthew Dwyer from Kansas State University will give invited talks.

Organization

Organizers:

• Mike Barnett, Microsoft Research, Redmond, WA, USA.
• Steve Edwards Dept. of Computer Science, Virginia Tech, Blacksburg, VA 24061, USA.
• Dimitra Giannakopoulou, RIACS/NASA Ames Research Center, Moffett Field, CA 94035-1000, USA.
• Gary T. Leavens, Department of Computer Science, Iowa State University, Ames, Iowa, 50011-1041, USA.

Workshop Paper Selection Committee:

• Luca de Alfaro (UC Santa Cruz)
• Mike Barnett (Microsoft Research)
• Edmund M. Clarke (CMU)
• Matthew Dwyer (Kansas State)
• Steve Edwards (Virginia Tech)
• Dimitra Giannakopoulou (NASA Ames/RIACS)
• Gary T. Leavens (Iowa State)
• K. Rustan M. Leino (Microsoft Research)
• Jeff Magee (Imperial College, London)
• Heinz Schmidt (Monash University)
• Wolfram Schulte (Microsoft Research)
• Natalia Sharygina (Carnegie Mellon)
• Murali Sitaraman (Clemson)
• Kurt C. Wallnau (CMU Software Engineering Institute)
• Bruce Weide (Ohio State)

Sponsors:

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.