• Jul 26, 2010: Rolf Hennicker accepted the invitation to give a keynote talk at FESCA'11
• Jul 21, 2010: FESCA'11 website was launched

Component-based software design has received considerable attention in industry and academia in the past decade. In recent years, the growing need for trustworthy software systems and the increased relevance of systems reliability, performance, and scalability have stimulated the emergence of formal techniques and architecture modelling approaches for the specification and implementation of component-based software architectures. Both have to deal with an increasing complexity in software systems challenging analytical methods as well as modelling techniques.

FESCA aims to address the open question of how formal methods can be applied effectively to these new contexts and challenges. FESCA is interested in both the development and application of formal methods in component-based development and tries to cross-fertilize their research and application.

One strength of FESCA is the link established between the formal methods community and the software engineering community by exploring how formal approaches can be exploited for the analysis of large software architectures.

We encourage submissions on formal techniques and their application that aid reasoning, analysis and certification of component-based applications. In this context, the following topics are of particular concern:

• Prediction, analysis and measurement of software quality attributes such as reliability, performance, or security;
• 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 the analysis of concurrent systems assembled of components;
• Techniques for prediction and formal verification of system properties, including static and dynamic analysis;
• Instrumentation and monitoring approaches, runtime management of applications.
• (Semi-) automatic inference of analytical models for existing software systems
• Industrial case studies and experience reports

Submissions concentrating on specification techniques should involve an evaluation of the practical merit of their research and clearly state the analysis and reasoning techniques they enable. We also appreciate work of a formal nature with immediate value to the industrial context. We encourage not only mature research results, submissions presenting innovative ideas and early results are also of interest.

Two kinds of submissions are considered:

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

The papers should be written in English, follow the ENTCS style (using FESCA'11 macro), and respect the page limit. In case of necessity, the authors may request for extension of the page limit via email including the clarification and abstract of the paper. Papers are to be submitted via the EasyChair conference system, and need to be registered before submission (authors, title, abstract, keywords). All accepted papers are required to be presented at the workshop by one of the authors.

Final versions of accepted regular papers will be published in a special issue of the Electronic Notes in Theoretical Computer Science (ENTCS) (under negotiation). The tool demonstration papers will not appear in the ENTCS proceedings. However, all papers (both regular and tool demonstration papers) will be included in the pre-proceedings of the workshop, which will be printed and distributed among participants at the workshop.

• Paper registration: December 3, 2010
• Submission deadline: December 10, 2010
• Notification of acceptance: January 21, 2011
• Final versions due: February 4, 2011
• Workshop date: April 2-3, 2011

Rolf Hennicker (Ludwig-Maximilians-Universität München)
Title: Will be announced
Abstract: Will be announced

• Barbora Buhnova, Masaryk University, Czech Republic
• Jens Happe, SAP Research, Germany

Contact address: fesca2011(at)easychair.org, please include the keyword FESCA in the email subject.

Jeremy Bradley (Imperial College London, UK)
Ivana Cerna (Masaryk University, Czech Republic)
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)
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)

PC co-chairs:
Barbora Buhnova (Masaryk University, Czech Republic)
Jens Happe (SAP Research, Germany)

The previous FESCA workshops at ETAPS 2004-2010 enjoyed high-quality submissions and attracted a number of recognized guest speakers, including Manfred Broy (Technische Universitaet Muenchen, Germany), Ivana Cerna (Masaryk University, Czech Republic), Jose Luiz Fiadeiro, (University of Leicester, UK), Constance L. Heitmeyer (Naval Research Laboratory, USA), Frantisek Plasil (Charles University, Czech Republic) and Martin Wirsing (LMU, Germany). It is expected that FESCA 2011 will make an equally positive contribution.