The original Call for Papers page is preserved here. You may also access its printable PDF version.
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.This has been considered
by the workshop participants 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.
Abstract submission & paper registration deadline: June 4, 2007
Paper upload deadline: June 11, 2007
Deadline extension:
We have postponed the deadline for
abstract submission to Friday, June 8th, 2007
Full paper submission to Friday, June 15th 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. Selected papers will be
published in Electronic Notes in Theoretical Computer
Science, Elsevier, as post-proceedings; in addition, informal workshop
proceedings will be handed out to participants during the workshop.
Submission of papers will be in electronic form via an online system; detailed
instructions will be posted on the workshop website.
Acceptance by the Program Committee will eventually be conditioneal, and delivered with some
requirements for changes.
The final version of the
paper must be prepared in LaTeX, adhering to the ENTCS format instructions
(see http://www.entcs.org/final.html).
Please submit your paper via our online system accessible at
http://www.easychair.org/FACS07/ .
Note that shortly after submitting your paper, you should receive an
automatically generated confirmation that your paper has been
registered in the system. Within one or two days, you will also get a
message from the program committee chair, confirming that your paper
was received complete and printed fine.
Should you need help with your submission, or should you have any
questions, please contact the PC chairs at one of their email addresses listed below.
Workshop website
Sponsoring Organizations
- Institut National de Recherche en Informatique et Automatique, (INRIA) in Sophia-Antipolis, France
- United Nations University, International Institute for Software Technology (UNU-IIST), Macao SAR China
Program Committee Chairs
- 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 (Universitaet Karlsruhe, Germany)
- Bernhard Schaetz (Technical University of Munich, Germany)
- Joseph Sifakis (VERIMAG, France)
- Carolyn Talcott (SRI International, USA)
- Dang Van Hung (IIST UNU, MACAU)
Steering Committee
- Zhiming Liu (IIST UNU, Macau, China, chair/coordinator)
- Farhad Arbab (CWI, The Netherlands)
- Luis Barbosa (Universidade do Minho, Portugal)
- Markus Lumpe (Iowa State University, USA)
- Eric Madelaine (INRIA, Sophia-Antipolis, France)
- Vladimir Mencl (Charles University, Prague, Czech Republic, and University of Canterbury, New Zealand)
- Bernhard Schaetz (Technical University of Munich, Germany)
Past workshops
- FACS'03, Pisa, Italy, September 8-9, 2003, http://www.iist.unu.edu/facs03/
- FACS'05, Macao, October 24-25, 2005, http://www.iist.unu.edu/facs05/
- FACS'06, Prague, September 24-25, 2005, http://www.iist.unu.edu/facs06/
Sophia Antipolis
is located about 20 Km from Nice Airport and about 7 km from
Antibes that is the nearest town.
Nearest International Airport : Nice
Côte-d'Azur (France)
