Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news] Call for Papers: FACS 2007

Discussion topic

Back to topic list

[verimag-news] Call for Papers: FACS 2007

Author Susanne Graf <Susanne dot Graf at imag dot fr>
Full name Susanne Graf <Susanne dot Graf at imag dot fr>
Date 2007-05-03 13:25:55 PDT
Message 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


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

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


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

« Previous message in topic | 1 of 1 | Next message in topic »


Show all messages in topic

[verimag-news] Call for Papers: FACS 2007 Susanne Graf <Susanne dot Graf at imag dot fr> Susanne Graf <Susanne dot Graf at imag dot fr> 2007-05-03 13:25:55 PDT
Messages per page: