SAVCBS'08
	Specification and Verification of Component-Based Systems
	Workshop at SIGSOFT 2008/FSE 16 November 9-10, 2008

The seventh workshop on specification and verification of component-based systems was affiliated with SIGSOFT 2008/FSE 16 will be held in Atlanta Georgia at the at the Georgia Tech Hotel and Conference Center in Atlanta, Georgia on November 9-10, 2008. The meeting is in the room Conference A (on the second floor).

Information is available on the following topics.

• Professor Wolfgang Emmerich from London Software Systems and University College London will give an invited talk on "Verification Challenges for Components in Federated Distributed Systems".
• 2008 Proceedings PDF file (including all papers, 110 pages). You can print a copy to take with you to the workshop.
• Schedule for the workshop. This includes links to the papers presented.
• Talk slides from the 2008 workshop presentations.
• Authors (and everyone else!) should have registered for the workshop at the SIGSOFT 2008/FSE 16 website.
• SIGSOFT/FSE-16's page of information about accomodations.
• Accepted papers are due November 3, 2008, in ACM format. Authors should look at the detailed formatting instructions.
• The due date for papers has passed, but the Call for papers (also in PDF, MS Word, and Plain text formats) is still available.
• Details on the challenge problem.
• Themes and Goals
• Organization
• Web site for the SAVCBS workshop series.

Themes and Goals:

This workshop is concerned with how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for the specification and verification of component-based systems. Component-based systems are a growing concern for the software engineering community. Specification and reasoning techniques are urgently needed to permit composition of systems from components. Component-based specification and verification is also vital 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.

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. Contacts and discussion among researchers and practictioners,
2. A web site that will be maintained after the workshop to act as a central clearinghouse for research in this area.

Organization

Organizers:

• Jonathan Aldrich, Carnegie Mellon University, Pittsburgh, PA 15213-3891, USA
• Mike Barnett, Microsoft Research, Redmond, WA, USA.
• Dimitra Giannakopoulou, RIACS/NASA Ames Research Center, Moffett Field, CA 94035-1000, USA.
• Gary T. Leavens, School of Electrical Engineering and Computer Science, University of Central Florida, Orlando, Florida, 32816-2362, USA.
• Natasha Sharygina, University of Lugano, Switzerland and Carnegie Mellon, Pittsburgh, PA, 15213

Workshop Program Committee:

We're pleased to have another outstanding program committee this year.

• Robby, chair (Kansas State University, USA)
• Patrice Chalin (Concordia University, Canada)
• Ivica Crnkovic (Mälardalen University, Sweden)
• Cormac Flanagan (University of California, Santa Cruz, USA)
• Alex Groce (Jet Propulsion Laboratory, USA)
• Joseph Kiniry (University College Dublin, Ireland)
• Eric Madelaine (INRIA, Sophia Antipolis, France)
• Rupak Majumdar (UCLA, USA)
• Darko Marinov (University of Illinois at Urbana-Champaign, USA)
• Marius Minea ("Politehnica" University of Timisoara, Romania)
• Mauro Pezzè (University of Lugano, Switzerland)
• Arnd Poetzsch-Heffter (University of Kaiserlautern, Germany)
• Andreas Rausch (T.U. Clausthal, Germany)
• Natarajan Shankar (SRI, USA)
• Yannis Smaragdakis (University of Oregon, USA)
• Nigamanth Sridhar (Cleveland State University, USA)
• Serdar Tasiran (Koc University, Turkey)