[ecoop-info] Second Call for Papers FACS 2007

[Markus Lumpe]

              Formal Aspects of Component Software (FACS 2007)

                              Call for Papers

   4th International Workshop on Formal Aspects of Component Software

                           September 19-21, 2007
                         Sophia-Antipolis, France

                     http://www.iist.unu.edu/facs07

                   Submission deadline June 11, 2007

Scope & Topics:

   Component-based software emerged as a promising paradigm to deal
   with the ever increasing need for mastering systems' complexity, for
   enabling evolution and reuse, and for driving software engineering
   into sound production and engineering standards. Soon, however, it
   became a popular technology long before well-understood and widely
   adopted formal foundations have emerged. Issues like mathematical
   models for components, their interaction and composition, or
   rigorous approaches to verification, deployment, testing and
   certification remain open research questions and challenging
   opportunities for formal methods. Moreover, new challenges are
   raised by applications of this paradigm to safety-critical, mobile,
   or reconfigurable systems.

   The objective of FACS'07 is to bring together researchers in the
   areas of component software and formal methods to promote a deep
   understanding of this paradigm and its applications. The workshop
   will also be interested in defining the common aspects of components
   and component- based development. It is expected that formal paper
   presentations will be followed by lively debate in a stimulating
   atmosphere. Possible topics include, but are not limited to:

   - formal models for software components and component interaction
   - design and verification methods for component software
   - component composition and deployment: models, calculi, languages
   - component testing
   - specification of extra-functional properties in component software
   - certification of components and software architectures
   - component software vs. object orientation
   - components for real-time, safety-critical, secure and/or embedded
     systems
   - standard models for software components (e.g. Fractal, GCM, etc.)
   - experience reports and case studies in component software
   - partial behavior models for software components
   - update and reconfiguration of component architectures
   - component systems evolution
   - formal methods and modeling languages
   - trust models for components

   FACS'07 is the fourth in a series of workshops, founded by the
   International Institute for Software Technology of the United
   Nations University (UNU-IIST). The first FACS workshop was held in
   Pisa, Italy, in September 2003, co-located with FM'03. Next, FACS'05
   was organized as a standalone event in October 2004 at
   UNU-IIST. Then FACS'06 was hosted in Prague by Charles
   University. The workshop participants have considered this as a very
   successful meeting with collaborative atmosphere and friendly
   discussion. Considering the persisting interest of the participants
   in the topics, FACS'07 was scheduled again as a separate event, this
   time to be hosted by INRIA in Sophia-Antipolis, France, in September
   2007.

Submission & proceedings:

   Submissions to the workshop will be judged on the basis of
   originality, relevance, technical soundness and presentation
   quality. Submissions should not be previously published or
   concurrently submitted to other workshops or conferences. Papers
   should be written in English and not exceed 15 pages in ENTCS
   format. Selected papers will be published in Electronic Notes in
   Theoretical Computer Science as post-proceedings. Note that to
   encourage submission of work still in progress, we may also accept
   promising papers to be presented at the workshop, and accept them
   conditionally for inclusion in the ENTCS proceedings. Submission of
   papers will be in electronic form via an online system; detailed
   instructions will be posted on the workshop website. The final
   version of the paper must be prepared in LaTeX, adhering to the
   ENTCS format (see http://www.entcs.org/final.html).

Important dates:

   Abstract submission:      June 4, 2007
   Paper submission:         June 11, 2007.
   Acceptance notification:  July 16, 2007
   Camera ready:             August 17, 2007
   Workshop:                 September 19-21, 2007

Organization:

Program chairs
   Markus Lumpe (Iowa State University, USA)
   Eric Madelaine (INRIA, Sophia Antipolis, France)

Program committee

   Farhad Arbab (CWI, The Netherlands)
   Luis Barbosa (Universidade do Minho, Portugal)
   Frank S. de Boer, (CWI, The Netherlands)
   Christiano Braga (Univ. Complutense de Madrid, Spain)
   Carlos Canal (Universidad de Malaga, Spain)
   Paolo Ciancarini (Universita di Bologna, Italy)
   Jose Fiadeiro (University of Leicester, United Kingdom)
   Rolf Hennicker (Ludwig-Maximilians-Universität Munich, Germany)
   Atsushi Igarashi (Kyoto University, Japan)
   Einar Broch Johnsen (Universitetet i Oslo, Norway)
   Mathai Joseph (Tata Consultancy Services Limited, India)
   Bengt Jonsson (Uppsala University, Sweden)
   Vladimir Mencl (Charles University, Czech Republic, and
                   University of Canterbury, New Zealand)
   Corina Pasareanu (NASA Ames, USA)
   Frantisek Plasil (Charles University, Czech Republic)
   Ralf Reussner (University of Oldenburg, Germany)
   Bernhard Schaetz (Technical Univ. of Munich, Germany)
   Joseph Sifakis (VERIMAG, France)
   Carolyn Talcott (SRI International, USA)
   Dang Van Hung (IIST UNU, MACAU)

Keynote speakers:

   Corina Pasareanu, Nasa Ames, USA
   Eugenio Zimeo, U. of Sannio, Italy