[ecoop-info] FESCA 2011 Call for Papers

[Happe, Jens]

                             Call for Papers

                              - FESCA 2011 -

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

                         Satellite event of ETAPS
                   April 2-3, 2011 -- Saarbruecken, Germany

                     http://fesca.ipd.kit.edu/fesca2011/


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:

    * 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

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 (under negotiation). 

    * Both regular and tool demonstration papers will appear in
      electronic pre-proceedings distributed at the workshop.


IMPORTANT DATES

    * 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


PROGRAMME COMMITTEE

    * 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)
    * Ralf Küsters (Universität Trier, Germany)
    * Markus Lumpe (Swinburne University of Technology, Australia)
    * Florian Matthes (Technische Universität München, Germany)
    * Raffaela Mirandola (Politecnico di Milano, Italy)
    * Iman Poernomo (King's College London, UK)
    * Ralf Reussner (University of Karlsruhe, Germany)
    * Antonino Sabetta (SAP Research, France)
    * Cristina Seceleanu (Mälardalen University, Sweden)

PC CO-CHAIRS

    * Barbora Buhnova (Masaryk University, Czech Republic)
    * Jens Happe (SAP Research, Germany)