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

Submission & Proceedings

Submissions to the workshop should present original research which is unpublished and not submitted for publication elsewhere. Papers will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers should be written in English and not exceed 18 pages in LNCS format. Note that to encourage submission of work still in progress, we may also accept promising papers to be presented at the workshop, and accept them conditionally for inclusion in the Springer LNCS proceedings.

Submission of papers will be in electronic form via Easychair, accessible through the workshop website. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format.


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

Extended versions of all accepted papers will be eligible for selection for a special issue of Science of Computer Programming.