Call for Papers

- FESCA 2009 -

6th International Workshop on
Formal Engineering approaches to Software Components and Architectures

Satellite event of ETAPS
March 28, 2009 -- York, UK

http://sdq.ipd.uka.de/conferences_and_events/fesca09

The aim of the FESCA workshop is to bring together researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for component-based software engineering.

Topics of interest include, but are not limited to:

• Software quality attributes such as reliability, performance, or security as well as their prediction or measurement;
• Temporal properties (including liveness and safety) and their formal verification;
• Interface compliance (interface-to-interface and interface-to implementation) and contractual use of components;
• Modelling formalisms for concurrent enterprise systems assembled of components;
• Automatic or semi-automatic model generation and model-to-model transformations;
• Approaches for correctness by construction, and component composition frameworks;
• Techniques for prediction and formal verification of system properties, static and dynamic analysis;
• Instrumentation and monitoring approaches, runtime management of applications.

Raffaela Mirandola (Politecnico di Milano, Italy)

Two kinds of submissions are considered:

• Regular papers (up to 15 pages in ENTCS format), presenting original and unpublished work related to the workshop topics.
• Tool demonstration papers (up to 5 pages in ENTCS format), presenting and highlighting the distinguishing features of a topic-related tool (co-developed by the authors).

• Regular papers will be published in a special issue of the Electronic Notes in Theoretical Computer Science (ENTCS) after the workshop.
• Both regular and tool demonstration papers will appear in printed pre-proceedings distributed at the workshop.

• Paper registration: December 1, 2008
• Submission deadline: December 8, 2008
• Notification of acceptance: January 19, 2009
• Final versions due: February 02, 2009
• Workshop date: March 28, 2009

Henrik Bohnenkamp (RWTH Aachen, Germany)
Juliana K.F. Bowles (University of St Andrews, UK)
Jeremy Bradley (Imperial College London, UK)
Ivana Cerna (Masaryk University, Czech Republic)
Kenneth Chan (King's College London, UK)
Martin Fraenzle (University of Oldenburg, Germany)
Ludovic Henrio (INRIA Sophia Antipolis, France)
Jan Kofron (FZI Research Center, Germany)
Samuel Kounev (University of Karlsruhe, Germany)
Heiko Koziolek (ABB Research Ladenburg, Germany)
Sotiris Moschoyiannis (University of Surrey, UK)
Julia Padberg (TU Berlin, Germany)
Frantisek Plasil (Charles Univerity, Czech Republic)
Iman Poernomo (King's College London, UK)
Antonino Sabetta (ISTI CNR Pisa, Italy)
Cristina Seceleanu (Mälardalen University, Sweden)

Jens Happe (University of Karlsruhe, Germany)
Ralf Reussner (University of Karlsruhe, Germany)
Barbora Zimmerova (University of Karlsruhe, Germany)