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, their evolution
and reuse, and driving software engineering into sound production and
engineering standards. Soon, however, it became a popular technology
long before consensual definitions and principles, let alone formal
foundations, have been put forward. 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, and embedded systems.
The objective of FACS'06 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
- experience reports and case studies in component
software
- partial behavior models for software components
- update and reconfiguration of component architectures
- formal methods and modeling languages
- trust models for components
FACS'06 is the third 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, collocated with FM'03. Next, FACS'05 was organized as a
standalone event in October 2004 at UNU-IIST. 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'06 was scheduled again as a
separate event, this time to be hosted by the Charles University in
Prague, Czech Republic, in September 2006.
- Farhad Arbab (CWI, The Netherlands)
- Luis Barbosa (Universidade do Minho, Portugal)
- Frank S. de Boer, (PC Chair, CWI, The Netherlands)
- Marcello Bonsangue (LIACS-Leiden University, The Netherlands)
- Christiano Braga (Universidad Complutense de Madrid, Spain)
- Manfred Broy (Technical University of Munich, Germany)
- Carlos Canal (Universidad de Malaga, Spain)
- Paolo Ciancarini (Universita di Bologna, Italy)
- Thierry Coupaye (France Telecom R&D, France)
- Joao Faria (Universidade do Porto, Portugal)
- Jose Fiadeiro (University of Leicester, United Kingdom)
- Susanne Graf (VERIMAG, France)
- Martin Grosse-Rhode (Fraunhofer-ISST, Germany)
- Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)
- He Jifeng (East China Normal University, China)
- Einar Broch Johnsen (Universitetet i Oslo, Norway)
- Bengt Jonsson (Uppsala University, Sweden)
- Mathai Joseph (Tata Consultancy Services Limited, India)
- Atsushi Igarashi (Kyoto University, Japan)
- Kung-Kiu Lau (The University of Manchester, United Kingdom)
- Zhiming Liu (UNU-IIST, Macao)
- Markus Lumpe (Iowa State University, USA)
- Eric Madelaine (INRIA, Centre Sophia Antipolis, France)
- Vladimir Mencl (PC Chair, UNU-IIST, Macao and Charles University, Czech Rep.)
- Sun Meng (National University of Singapore, Singapore)
- Frantisek Plasil (Charles University, Czech Republic)
- Anders Ravn (Aalborg University, Denmark)
- Ralf Reussner (University of Oldenburg, Germany)
- Bernhard Schaetz (Technical University of Munich, Germany)
- Joseph Sifakis (VERIMAG, France)
- Jean-Bernard Stefani (INRIA Rhones-Alpes, France)
- Carolyn Talcott (SRI International, USA)
- Denis Caromel
- Departement d'Informatique, University of Nice - Sophia Antipolis, France
- Peter Van Roy
- Department of Computing Science and Engineering, Catholic University of Louvain, Belgium
Abstract submission & paper registration deadline: June 11, 2006
NEW!!! Deadline extension: Paper upload deadline: June 21st, 2006.
Acceptance notification: July 23, 2006
Camera ready version due: Aug 20, 2006
Workshop: September 20-22, 2006
Submissions to the workshop will be judged on the basis of originality,
relevance, technical soundness and presentation quality. Papers should be
written in English and not exceed 15 pages in ENTCS format. The workshop
proceedings 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. 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://confman.iist.unu.edu/FACS06/REG-paper/ (already closed).
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 Vladimir Mencl at one of his email addresses listed below.
Workshop website
Sponsoring Organizations
- United Nations University, International Institute for Software Technology (UNU-IIST), Macao SAR China
- Charles University in Prague, Faculty of Mathematics and Physics, Department of Software Engineering, Czech Republic
- Centrum voor Wiskunde en Informatica (CWI), The Netherlands
Program Committee Chairs
Frank S. de Boer (CWI, The Netherlands)
Vladimir Mencl (UNU-IIST, Macao SAR China and Charles University in Prague, Czech Republic)
Organizing Committee
(tentative)
- Jiri Adamek
- Petr Hnetynka
- Vladimir Mencl
- Petra Novotna
Past workshops
Prague is a charming city with a long medieval history. The workshop
will be held in School of Computer Science of the Charles University,
which is located right in the Prague's most famous historical district
of the Lesser Town ("Mala Strana") of Prague. The building itself
has been recently carefully renovated, reconstructing the architectural
style of a Jesuit College.
The timing of the workshop may allow us to enjoy the nice sunny period,
when the weather is not hot anymore, but the early fall sunshine makes
sightseeing walks very enjoyable, emphasizing fine features of the
Prague's many historic buildings.
