<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-15">
  </head>
  <body bgcolor="#ffffff" text="#000000">
    ***   Please accept our apologies should you receive multiple copies
    of this call from different lists.   *** <br>
    <br>
    INVITATION:<br>
    =================<br>
    <br>
    Please, consider to contribute to and/or forward to the appropriate
    groups the following opportunity to submit and publish original
    scientific results to FESCA 2012.<br>
    <br>
    The submission deadline has been extended to December 15, 2011.<br>
    <br>
    =================<br>
    <br>
    <br>
    <div align="center">Call for Papers<br>
      <br>
      - FESCA 2012 -<br>
      <br>
      9th International Workshop on<br>
      Formal Engineering approaches to Software Components and
      Architectures<br>
      <br>
      Satellite event of ETAPS<br>
      March 31st 2012, Tallinn, Estonia<br>
      <br>
      <a class="moz-txt-link-freetext"
        href="http://fesca.ipd.kit.edu/fesca2012/">http://fesca.ipd.kit.edu/fesca2012/</a><br>
    </div>
    <br>
    WORKSHOP AIM<br>
    <br>
    <div align="justify">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.<br>
      <br>
      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.<br>
      <br>
**************************************************************************<br>
    </div>
    NEW: We are pleased to announce invited speaker:<br>
    <br>
    SAMUEL KOUNEV, chair of SPEC Research Group (RG) and  Descartes RG
    at Karlsruhe Institute of Technology (Germany), has agreed to
    deliver the FESCA 2012 keynote speech on the topic:<br>
    "<span class="Apple-style-span" style="">Modeling of Event-based
      Communication in Component-based Architectures:</span><span
      class="Apple-style-span" style=""> State-of-the-Art and Future
      Directions"</span><br>
**************************************************************************<br>
    <br>
    TOPICS<br>
    <br>
    <div align="justify">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.<br>
      <br>
      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:<br>
    </div>
    <ul>
      <li> Architecture as a language: Building Domain-Specific
        Languages (DSLs)</li>
      <ul>
        <li>Modelling formalisms for the analysis of concurrent, embeded
          or model-driven systems assembled of components;</li>
        <li>Modelling formalisms in prediction, analysis and measurement
          of software quality attributes such as reliability,
          performance, or security;</li>
      </ul>
      <li>Properties of component-based models</li>
      <ul>
        <li>Temporal properties (including liveness and safety) and
          their formal verification;</li>
        <li>Interface compliance (interface-to-interface and
          interface-to implementation) and contractual use of
          components;</li>
      </ul>
      <li>Formal methods in Component-Based Software Development</li>
      <ul>
        <li>Techniques for prediction and formal verification of system
          properties, including static and dynamic analysis;</li>
        <li>Instrumentation and monitoring approaches, runtime
          management of applications;</li>
        <li>(Semi-) automatic inference of analytical models for
          existing software systems;</li>
      </ul>
      <li>Formal methods in Model-Driven Software Development</li>
      <ul>
        <li>Abstraction level in modelling formalisms;</li>
        <li>Safer MDA through integration with formal methods;</li>
        <li>Correctness of model transformations;</li>
      </ul>
      <li>Industrial case studies and experience reports.<br>
      </li>
    </ul>
    <br>
    <div align="justify">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.<br>
    </div>
    <br>
    <br>
    SUBMISSIONS<br>
    <br>
    Three kinds of submissions are considered: <br>
    <br>
    <ul>
      <li> Regular papers (up to 15 pages in ENTCS format), presenting
        original and unpublished work related to the workshop topics.<br>
      </li>
    </ul>
    <ul>
      <li>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.<br>
      </li>
    </ul>
    <ul>
      <li>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).<br>
      </li>
    </ul>
    <br>
    PROCEEDINGS<br>
    <br>
    <ul>
      <li> Regular and position papers will be published in a special
        issue of the Electronic Notes in Theoretical Computer Science
        (ENTCS) after the workshop.<br>
      </li>
    </ul>
    <ul>
      <li>All regular, position and tool demonstration papers will
        appear in electronic pre-proceedings distributed at the
        workshop.</li>
    </ul>
    <br>
    <br>
    IMPORTANT DATES<br>
    <br>
    <ul>
      <li>    Paper registration: December 9, 2011</li>
      <li>    Submission deadline: December 15, 2011</li>
      <li>    Notification of acceptance: January 20, 2012</li>
      <li>    Final versions due: February 3, 2012</li>
      <li>    Workshop date:  March 31, 2012</li>
    </ul>
    <br>
    <br>
    PROGRAMME COMMITTEE<br>
    <br>
    <ul>
      <li>     Ivana Cerna (Masaryk University, Czech Republic)</li>
      <li>     Jens Happe (SAP Research, Germany)</li>
      <li>     Ludovic Henrio (CNRS, France)</li>
      <li>     Holger Hermanns (Universität des Saarlandes, Germany)</li>
      <li>     Petr Hnetynka (Charles University in Prague, Czech
        Republic)</li>
      <li>     Samuel Kounev (Karlsruhe Institute of Technology,
        Germany)</li>
      <li>     Heiko Koziolek (ABB Research Ladenburg, Germany)</li>
      <li>     Ralf Kuesters (Universität Trier, Germany)</li>
      <li>     Markus Lumpe (Swinburne University of Technology,
        Australia)</li>
      <li>     Raffaela Mirandola (Politecnico di Milano, Italy)</li>
      <li>     Dorina Petriu (Carleton Univesity, USA)</li>
      <li>     Ralf Reussner (Karlsruhe Institute of Technology,
        Germany)</li>
      <li>     Cristina Seceleanu (Mälardalen University, Sweden)</li>
      <li>     Steffen Zschaler (King's College London, UK) </li>
    </ul>
    <br>
    PC CO-CHAIRS<br>
    <br>
    <ul>
      <li>     Barbora Buhnova (Masaryk University, Czech Republic)</li>
      <li>     Lucia Kapova (Karlsruhe Institute of Technology, Germany)</li>
      <li>     Jan Kofron (Charles University in Prague, Czech Republic)</li>
    </ul>
  </body>
</html>