Call for Papers
- FESCA 2012 -
9th International Workshop on
Formal Engineering approaches to Software Components and Architectures
Satellite event of ETAPS
March 31st 2012, Tallinn, Estonia
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 quality properties (e.g. 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:
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.
Three kinds of submissions are considered:
* Regular papers (up to 15 pages in ENTCS format), presenting
original and unpublished work related to the workshop topics.
* Position papers (up to 10 pages in ENTCS format) presenting
ideas and directions of interesting ongoing and yet unpublished
research 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 and position papers will be published in a special issue of the
Electronic Notes in Theoretical Computer Science (ENTCS) after the workshop.
* All regular, position and tool demonstration papers will appear in
electronic pre-proceedings distributed at the workshop.
* Paper registration: December 2, 2011
* Submission deadline: December 9, 2011
* Notification of acceptance: January 20, 2012
* Final versions due: February 3, 2012
* Workshop date: March 31, 2012
* Ivana Cerna (Masaryk University, Czech Republic)
* Jens Happe (SAP Research, Germany)
* Ludovic Henrio (CNRS, France)
* Holger Hermanns (Universität des Saarlandes, Germany)
* Petr Hnetynka (Charles University in Prague, Czech Republic)
* Samuel Kounev (University of Karlsruhe, Germany)
* Heiko Koziolek (ABB Research Ladenburg, Germany)
* Ralf Kuesters (Universität Trier, Germany)
* Markus Lumpe (Swinburne University of Technology, Australia)
* Raffaela Mirandola (Politecnico di Milano, Italy)
* Dorina Petriu (Carleton Univesity, USA)
* Ralf Reussner (University of Karlsruhe, Germany)
* Cristina Seceleanu (Mälardalen University, Sweden)
* Steffen Zschaler (King's College London, UK)
* Barbora Buhnova (Masaryk University, Czech Republic)
* Lucia Kapova (Karlsruhe Institute of Technology, Germany)
* Jan Kofron (Charles University in Prague, Czech Republic)