[TYPES] Call for Papers: FACS'05 - Macao

Bernhard K. Aichernig bka at iist.unu.edu
Fri Jun 17 18:36:46 EDT 2005

[apologies if you receive multiple copies]

             CALL FOR PAPERS


         II International Workshop on
    Formal Aspects of Component Software

          October 24-25, 2005



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


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


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
  * component composition and deployment: models,
    calculi, languages
  * component testing
  * specification of extra-functional properties
    in component software
  * certification of components and software
  * component software vs object orientation
  * components for real-time, safety-critical,
    secure and/or embedded systems
  * experience reports and case studies in component

Further information is available at the web site:



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.


    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)

    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

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


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.

Bernhard Aichernig, Research Fellow of UNU-IIST  www.iist.unu.edu/~bka
SEFM 2005:  3rd IEEE International Conference on Software Engineering
             and Formal Methods, Koblenz, Germany, 7.- 9. Sept. 2005

ICTAC 2005: International Colloquium on Theoretical Aspects of
             Computing, Hanoi, Vietnam, 17-21 October, 2005

More information about the Types-list mailing list