Formal Aspects of Component Software
(FACS 2010)

Universidade do Minho
Universidade do Minho

7th International Workshop on Formal
Aspects of Component Software

October 14-16, 2010 - Guimarães (Portugal)

UN University
United Nations University
Guimarães - Portugal

Important Dates

Doctoral Track submission
September 12, 2010

Doctoral Track acceptance notification
September 20, 2010

Acceptance Notification
September 10, 2010

Camera Ready
October 1, 2010

October 14-16, 2010


07-10-2010 Participants List is now available
06-10-2010 The Conference Venue changed to Hotel de Guimarães
24-09-2010 Workshop Programme is now available
06-09-2010 Doctoral Track: Call for Contributions have been published
01-07-2010 FACS 2010 venue announced: CCVF, Guimarães
01-07-2010 Final Call for Papers: txt pdf
02-06-2010 A special issue in Science of Computer Programming, Elsevier, with selected papers is planned.
21-05-2010 Sanjit Seshia and Luis Caires will be the invited speakers at FACS 2010.
03-05-2010 Proceedings will be published by Springer in the Lecture Notes in Computer Science series
23-04-2010 Committees have been published


The component-based software development approach has emerged as a promising paradigm to cope with an ever increasing complexity of present-day software solutions by bringing sound production and engineering principles into software engineering. However, many conceptual and technological issues remain in component-based software development theory and practice that pose challenging research questions.

FACS 2010 is concerned with how formal methods can or should be used to make component-based software development succeed. Formal methods consist of mathematically-based techniques for the specification, development, and verification of software and hardware systems. They have shown their great utility for providing the formal foundations of component-based software and working out challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

The objective of FACS 2010 is to bring together researchers and practitioners in the areas of component software and formal methods in order to promote a deeper understanding of the component-based software development paradigm and its applications. The workshop seeks to address all common aspects of component software and formal methods. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions.

FACS'10 is the 7th 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 organized as standalone events, respectively at UNU-IIST in Macau (October 2005), at Charles University in Prague (September 2006), at INRIA in Sophia-Antipolis (September 2007), and at University of Malaga in Spain (September 2008). FACS'09 was part of the Formal Methods Week in Eindhoven (November 2009).


Proceedings will be published by Springer in the Lecture Notes in Computer Science series


United Nations University - International Institute of Software Technology  
Escola de Engenharia  
Escola de Engenharia