[PVS] FESCA 2009 | Call for Papers

[FESCA 2009 Organisers <fesca09@xxxxxxxxxxxxxxxxxxxx>]

                           First Call for Papers

                              - FESCA 2009 -

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

                         Satellite event of ETAPS
                        March 28, 2009 -- York, UK

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


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.


INVITED SPEAKER
    Raffaela Mirandola (Politecnico di Milano, Italy)


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 1, 2008
    * Submission deadline:         December 5, 2008
    * Notification of acceptance:  January 19, 2009
    * Final versions due:          February 02, 2009
    * Workshop date:               March 28, 2009


PROGRAMME COMMITTEE

    * Henrik Bohnenkamp (RWTH Aachen, Germany)
    * Juliana K.F. Bowles (University of St Andrews, UK)
    * 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)
    * Ludovic Henrio (INRIA Sophia Antipolis, France)
    * Jan Kofron (FZI Research Center, Germany)
    * Samuel Kounev (University of Karlsruhe, Germany)
    * Heiko Koziolek (ABB Research Ladenburg, Germany)
    * Sotiris Moschoyiannis (University of Surrey, UK)
    * Frantisek Plasil (Charles Univerity, Czech Republic)
    * Iman Poernomo (King's College London, UK)
    * Antonino Sabetta (ISTI CNR Pisa, Italy)
    * Cristina Seceleanu (Mälardalen University, Sweden)

PC CO-CHAIRS

    * Jens Happe (University of Karlsruhe, Germany)
    * Ralf Reussner (University of Karlsruhe, Germany)
    * Barbora Zimmerova (University of Karlsruhe, Germany)