[apologies for cross-posting]

-----------------------------------------------------------
             CALL FOR PAPERS

                 FACS'05

         II International Workshop on
    Formal Aspects of Component Software

                 Macao
          October 24-25, 2005

          www.iist.unu.edu/facs05/
------------------------------------------------------------


IMPORTANT DATES:

Submission:    Jul 15, 2005
Notification:  Sep 15, 2005
Final Version: Sep 30, 2005
Workshop:      Oct 24-25, 2005


INVITED SPEAKERS:

  * Farhad Arbab (CWI, LIACS, Leiden University and University of 
Waterloo)
  * Paolo Ciancarini (Università di Bologna)
  * Edmund Clarke (Carnegie Mellon University)


AIMS AND SCOPE

The objective of FACS'2005 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 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

BACKGROUND:

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
rigourous approaches to verification, deployment, testing
and certification remain open research questions
and challenging opportunities for formal methods.
Moreover, new challenges are raised by applications to
non conventional areas, such as safety-critical, mobile,
and/or embedded systems.

FACS'05 is the second in a series of workshops, founded
by the International Institute for Software Technology
of the United Nations University. The first FACS workshop
was held in Pisa, Italy, in September 2003, collocated
with FM'03.

ORGANIZATION:   UNU-IIST (Macao)

PROGRAM COMMITTEE:
    Farhad Arbab (CWI, The Netherlands)
    Luis Barbosa (PC Chair, Universidade do Minho, Portugal)
    Marcello Bonsangue (LIACS-Leiden University, The Netherlands)
    Christiano Braga (Universidade Federal Fluminense,  Brazil)
    Manfred Broy (Technical University of Munich, Germany)
    Calos Canal (Universidad de Malaga, Spain)
    João Faria (Universidade do Porto, Portugal)
    Jose Fiadeiro (University of Leicester, United Kingdom)
    Susanne Graf (VERIMAG, France)
    Mathai Joseph (Tata Consultancy Services Limited, India)
    Atsushi Igarashi (Kyoto University, Japan)
    Kung-Kiu Lau (The University of Manchester, United Kingdom)
    Zhiming Liu (PC Chair, UNU-IIST,  Macao)
    Antónia Lopes (University of Lisbon, Portugal)
    Markus Lumpe (Iowa State University, USA)
    Tom Maibaum (McMaster University, Canada)
    Sun Meng (National University of Singapore, Singapore)
    Ugo Montanari (University of Pisa, Italy)
    David Naumann (Stevens Institute of Technology, USA)
    Anders Ravn (Aalborg University, Denmark)
    Bernhard Schätz (Technical University of Munich, Germany)
    Carolyn Talcott (SRI International, USA)

ORGANISING COMMITTEE:
    He Jifeng, UNU-IIST, Macao (OC chair)
    Antonio Cerone, UNU-IIST, Macao
    Bernhard Aichernig, UNU-IIST, Macao
    Chan Iok Sam , UNU-IIST, Macao
    Xiaoshan Li, Univ. Macao

RELATED EVENTS:
ICTAC'05 will be held in Hanoi, Vietnam, the week before.


SUBMISSION AND PUBLICATION:

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.

Publication of the workshop proceedings in Electronic Notes
in Theoretical Computer Science, Elsevier, is anticipated.