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.
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
Web site for the SAVCBS workshop series
Submission deadline: June 9, 2003
Notification date: June 30, 2003
Final versions: August 1, 2003
Workshop: September 1 and 2, 2003
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:
The details of the workshop may vary with the background and interest of
An outline of collaborative research topics,
A list of areas for further exploration,
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
A web site that will be maintained after the workshop to act as a central
clearinghouse for research in this area, and
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.
Professors Manfred Broy
from the Technical University Munich
and Matthew Dwyer
from Kansas State University will give invited talks.
Microsoft Research, Redmond, WA, USA.
Steve Edwards Dept. of
Computer Science, Virginia Tech, Blacksburg, VA 24061, USA.
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:
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.
Mike Barnett, Steve Edwards, Dimitra Giannakopoulou, and Gary T. Leavens
$Date: 2008/06/02 21:20:13 $