FESCA @ ETAPS 2010 - Call for Papers

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 WORKSHOP AIM 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 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. SUBMISSIONS 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). PROCEEDINGS * 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. IMPORTANT DATES * Paper registration: December 07, 2009 * Submission deadline: December 11, 2009 * Notification of acceptance: January 27, 2010 * Final versions due: February 15, 2010 * Workshop date: March 27-28, 2010 PROGRAMME COMMITTEE * 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 (FZI Research Center, Germany) * 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) PC CO-CHAIRS * Barbora Buhnova (Zimmerova) (Masaryk University, Czech Republic) * Jens Happe (FZI Forschungszentrum Informatik, Germany)