FACS 2008. Fith International Workshop on Formal Aspect of Component Software

Important dates

Paper submission:
May 30, 2008 (closed)
Acceptance notification:
July 7, 2008
Camera ready:
July 25, 2008
September 10-12, 2008


Registration open
Program uploaded
The submission deadline has been extended (May 30th).
A special issue with selected papers from FACS08 will be published in Science of Computer Programming (SCP).
Website launched.
Jeff Magee and Ralf Reussner will be the invited speakers at FACS08.
The proceedings will be published in ENTCS.
Call for Papers: pdf or txt



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. However, many issues in component-based software development remain open and challenging research questions. On the other hand, formal methods are mathematically-based techniques for the specification, development and verification of software and hardware systems. Therefore, they are of great use to set up formal foundations of component software and work out challenging issues such as mathematical models for components, their composition and adaptation, or rigorous approaches to verification, deployment, testing and certification.

The objective of FACS'08 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 discussions.

FACS'08 is the fifth event 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 co-located with FM'03 (Pisa, Italy, September 2003). The following FACS workshops were organised as standalone event respectively at UNU-IIST in Macau (October 2005), at Charles University in Prague (September 2006), and at INRIA in Sophia-Antipolis (September 2007). FACS'08 is planned again as a separate event organised by the University of Málaga in September 2008.

Contact: facs2008@lcc.uma.es



United Nations University - International Institute of Software Technology
Junta de Andalucía - Consejería de Innovación, Ciencia y Empresa
Universidad de Málaga
Departamento de Lenguajes y Ciencias de la Computación
Grupo de Ingeniería del Software de la Universidad de Málaga