Call for Papers SAVCBS'08 Workshop at ACM SIGSOFT 2008/FSE 16 November 9-10, 2008 http://www.eecs.ucf.edu/SAVCBS/ The fifth workshop on specification and verification of component-based systems is affiliated with ACM SIGSOFT 2008/FSE 16 and will be held in Atlanta, Georgia, November 9-10, 2008. Abstracts are due September 8, 2008, and 8 page papers are due September 15, 2008. There will be no formal publication of papers, and authors will retain copyright to their papers. Theme 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. Suggested research topics of interest include (but are not limited to): * Techniques for component-based verification or reasoning * Component-based specification languages * Static analysis of components and component compositions * Verification-oriented design methodologies for components * Dynamic checking techniques, including run-time assertion or property checking * Specification and verification of non-functional component behavior (performance, memory, concurrency, etc.) * Unifying formal descriptions of concurrency properties with model-based behavioral descriptions of components * Balancing tradeoffs (automatic/manual verification, soundness/completeness, static/dynamic verification, testing/formal verification, scalability/coverage, etc.) * Theories of component composition * Industrial experience, such as adoption issues, with formal techniques for component-based systems * Case studies of applying formal techniques to component based systems * Educational experience or tactics for formal approaches to component-based systems Submissions should outline the current state of research or practice, describe the most pressing shortcomings, and formulate goals for future development. Challenge Problem One session during the workshop will be devoted to presenting solutions (full or partial) to a challenge problem. This problem will present features that pose difficulties for current specification technologies. The session will be open both to presenters as well as participants of the workshop. Details on the challenge problem are posted at http://www.eecs.ucf.edu/SAVCBS/2008/challenge.shtml. Solutions should illustrate innovative features of specification or verification as they pertain to this particular problem. Submissions Submissions must not exceed 8 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 will be accepted in PDF or Postscript formats. Papers will be submitted on-line at http://www.easychair.org/conferences/?conf=savcbs08 . Best papers will be invited for submission to a journal special issue. Important dates: Abstract submission deadline: September 8, 2008 Paper submission deadline: September 15, 2008 Notification date: October 11, 2008 Final versions: November 3, 2008 See http://www.eecs.ucf.edu/SAVCBS/ for more details. 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)