Doctoral Track submission
Doctoral Track acceptance notification
|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|