Call for Papers

- FESCA 2010 -

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

Satellite event of ETAPS
March 27-28, 2010 -- Paphos, Cyprus

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

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.

Ivana Cerna (Masaryk University, Czech Republic)

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 07, 2009
• Submission deadline: December 15, 2009
• Notification of acceptance: January 27, 2010
• Final versions due: February 15, 2010
• Workshop date: March 27-28, 2010

Henrik Bohnenkamp (RWTH Aachen, Germany)
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)
Lars Grunske (Swinburne University of Technology, Australia)
Ludovic Henrio (INRIA Sophia Antipolis, France)
Holger Hermanns (Universität des Saarlandes, Germany)
Jan Kofron (Charles University in Prague, Czech Republic)
Samuel Kounev (University of Karlsruhe, Germany)
Heiko Koziolek (ABB Research Ladenburg, Germany)
Markus Lumpe (Swinburne University of Technology, Australia)
Raffaela Mirandola (Politecnico di Milano, Italy)
Sotiris Moschoyiannis (University of Surrey, UK)
Iman Poernomo (King's College London, UK)
Ralf Reussner (University of Karlsruhe, Germany)
Antonino Sabetta (ISTI CNR Pisa, Italy)
Cristina Seceleanu (Mälardalen University, Sweden)

Barbora Buhnova (Zimmerova) (Masaryk University, Czech Republic)
Jens Happe (FZI Forschungszentrum Informatik, Germany)