Specification and Verification of Component-Based Systems

Here you can find information about the SAVCBS workshops.

• 2010 SAVCBS workshop, affiliated with FSE-18, which will be held in Santa-Fe, New Mexico, USA, on November 12, 2010.
• 2009 SAVCBS workshop, affiliated with ESEC/FSE 2009, which will be held in Amsterdam, The Netherlands, on August 25, 2009.
• 2008 SAVCBS workshop, affiliated with SIGSOFT 2008/FSE 16, which will be held in Atlanta, Georgia, USA on November 9-10, 2008.
• 2007 SAVCBS workshop, affiliated with ESEC/FSE 2007, which was held in Cavtat near Dubrovnik, Croatia on September 3-4, 2007.
• 2006 SAVCBS workshop, affiliated with SIGSOFT/FSE 2006, which was held in Portland, Oregon on November 10-11, 2006.
• 2005 SAVCBS workshop, affiliated with ESEC/FSE 2005, which was held at the Campolide campus of the New University of Lisbon, Portugal, September 5-6, 2005.
• 2004 SAVCBS workshop, affiliated with ACM SIGSOFT 2004/FSE-12, to be held in in Newport Beach, California, October 31 and November 1, 2004.
• 2003 SAVCBS workshop, affiliated with ESEC/FSE 2003, that was held in Helsinki, Finland, on September 1-2, 2003.
• 2001 SAVCBS workshop, affiliated with OOPSLA 2001, which was held in Tampa Bay, Florida on October 14, 2001.

A special issue of the journal IET Software will appear in December 2008 (volume 2, number 6) containing 5 revised and extended version of papers that originally appeared in SAVCBS 2006 and 2007.

See also the page of links to various systems and research projects in the area of specification and verification of component-based systems.