[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FESCA @ ETAPS 2010




                              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)