CfP CBSE 2013

[Davide Falessi]

--------------------------------------------
CALL FOR PAPERS
THE 16TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT BASED
SOFTWARE ENGINEERING (CBSE 2013)
Vancouver, Canada, June 18-20, 2013
http://cbse-conferences.org/2013/
(part of the CompArch federated conference series)

CBSE is kindly supported by ACM SIGSOFT (http://www.sigsoft.org/)
--------------------------------------------

The CBSE symposium has emerged as the flagship research event for the component community.
CBSE 2013 encompasses research (both theoretical and applied) that extends the state-of-the-art in
component specification, composition, analysis, testing, and verification. Experience reports,
empirical studies and presentation of component-based benchmarks and case studies are also within
scope. Participants from industry and academia have the opportunity to exchange ideas and
experiences in a variety of sessions involving invited and technical presentations, panels, and so on.
New trends in global services, distributed systems architectures, dynamically adaptable systems, and
large-scale software systems often cross organizational boundaries and push the limits of established
component-based methods, tools and platforms. Innovative solutions from diverse paradigms (e.g.,
service-, aspect-, and agent-oriented) are needed to address these emerging trends.
Topics of interest for CBSE 2013 therefore include, but are not limited to, the following:
- Specification, architecture, and design of component models and component-based systems
- Software quality assurance for component-based engineering
- Verification, testing and certification of component-based systems
- Component composition, binding, and dynamic adaptation
- Formal methods for automated component composition and integration
- Component-based engineering with agents, aspects, or services
- Component-based product-line engineering
- Non-functional properties (quality of service attributes) in component-based engineering
- Patterns and frameworks for component-based engineering
- Tools and methods for component-based engineering
- Industrial experience using component-based software development
- Empirical studies in component-based software engineering
- Teaching component-based software engineering

A special theme titled "Components in the wild: from cyber-physical systems to the cloud!" characterizes
further topics of interest (for more details, see at http://cbse-conferences.org/2013/index.php?pageId=cfp).

Papers will be evaluated by at least three members of the Program Committee. They should be in
ACM format (http://www.acm.org/sigs/publications/proceedings-templates) and describe, in
English, original work that has not been published or submitted elsewhere. PDF versions of papers
should be submitted through the CBSE 2013 EasyChair web site:
https://www.easychair.org/account/signin.cgi?conf=cbse2013.

We solicit two categories of papers:

Regular papers, not exceeding 10 pages (including appendices), describing fully developed work.
Authors of papers reporting experimental work are strongly encouraged to make their experimental
results available for use by reviewers. Similarly, case study papers should describe significant case
studies and the complete development should be made available for use by reviewers.

Short papers of a maximum of 6 pages should describe novel ideas that have not been fully
evaluated, or operational tools and their contributions. Tool papers should explain enhancements
made compared to previously published work. Authors of tools papers should make their tool
available for use by reviewers.

Accepted papers will be published by ACM. We are considering a special journal issue that will
include extended versions of the best papers of CBSE 2013.

--- IMPORTANT DATES ---
The following deadlines must be intended by considering the UMT/GMT time zone.
Abstract submission deadline: February 06, 2013
Papers submission deadline: February 13, 2013
Notification to authors: March 25, 2013
Camera-ready version: April 17, 2013
Conference: June 18-20, 2013

--- PROGRAM CO-CHAIRS ---
Dimitra Giannakopoulou, NASA Ames Research Center (USA)
Massimo Tivoli, University of L'Aquila (Italy)

--- PROGRAM COMMITTEE ---
Marco Autili, University of L'Aquila (Italy)
Steffen Becker, University of Paderborn (Germany)
Antonia Bertolino, ISTI-CNR (Italy)
Domenico Bianculli, University of Luxembourg (Luxembourg)
Radu Calinescu, University of York (UK)
Carlos Canal, University of Málaga (Spain)
Jan Carlson, Malardalen University (Sweden)
Ivica Crnkovic, Malardalen University (Sweden)
Aldo Dagnino, Carnegie Mellon University (USA)
David Garlan, Carnegie Mellon University (USA)
Serban Gheorghe, Edgewater Computer Systems Inc (Canada)
Gregor Goessler, INRIA (France)
Ian Gorton, Pacific Northwest National Laboratory (USA)
Susanne Graf, VERIMAG/CNRS (France)
Lars Grunske, University of Stuttgart (Germany)
George Heineman, Worcester Polytechnic Institute (USA)
Gang Huang, Peking University (China)
Paola Inverardi, University of L'Aquila (Italy)
Valerie Issarny, INRIA (France)
Fabrice Kordon, LIP6/UPMC (France)
Anne Koziolek, University of Zurich (Switzerland)
Magnus Larsson, Malardalen University (Sweden)
Grace A. Lewis, Carnegie Mellon University (USA)
Nenad Medvidovic, University of Southern California (USA)
Raffaela Mirandola, Politecnico di Milano (Italy)
Henry Muccini, University of L'Aquila (Italy)
Rob van Ommering, Philips Research (Netherlands)
David Parker, University of Birmingham (UK)
Frantisek Plasil, Charles University in Prague (Czech Republic)
Noel Plouzeau, IRISA/University of Rennes 1 (France)
Pascal Poizat, Université Paris Ouest Nanterre La Défense (France)
Sanjai Rayadurgam, University of Minnesota (USA)
Ralf Reussner, Karlsruhe Institute of Technology (Germany)
Salah Sadou, IRISA/University of South Brittany (France)
Gwen Salaun, INRIA (France)
Heinz Schmidt, RMIT University (Australia)
Lionel Seinturier, University of Lille/INRIA (France)
Clemens Szyperski, Microsoft Research (USA)
Pengcheng Zhang, Hohai University (China)