FACS 07 last Call for Papers

[Eric Madelaine <Eric.Madelaine@xxxxxxxxxxxxxxx>]

            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