FACS 07 first Call for Papers

[Eric Madelaine <Eric.Madelaine@xxxxxxxxxxxxxxx>]

Call for Papers
FACS 07 (Fundamental Aspects of Component Software)
Sophia-Antipolis, France
19-21 september 2007

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

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 interactio
 * 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
 * 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


Important Dates:
Abstract submission & paper registration deadline: June 4, 2007
Paper upload deadline: June 11, 2007.
Acceptance notification:  July 16, 2007
Camera ready version due: Aug 17, 2007
Workshop: September 19-21, 2007

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. We plan to have selected papers 
published in Electronic Notes in Theoretical Computer Science, Elsevier, 
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).

Program Committee

 * Farhad Arbab (CWI, The Netherlands)
 * Luis Barbosa (Universidade do Minho, Portugal)
 * Frank S. de Boer, (CWI, The Netherlands)
 * Christiano Braga (Universidad 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-Universitaet Muenchen, Germany)
 * Atsushi Igarashi (Kyoto University, Japan)
 * Einar Broch Johnsen (Universitetet i Oslo, Norway)
 * Bengt Jonsson (Uppsala University, Sweden)
 * Mathai Joseph (Tata Consultancy Services Limited, India)
 * Markus Lumpe (Iowa State University, USA)
 * Eric Madelaine (INRIA, Centre Sophia Antipolis, France)
 * 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 University of Munich, Germany)
 * Joseph Sifakis (VERIMAG, France)
 * Carolyn Talcott (SRI International, USA)
 * Dang Van Hung (IIST UNU, MACAU)