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

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 15 pages in ENTCS 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 ENTCS proceedings. Submission of papers will be in electronic form via Easychair, accesible through the workshop website. The final version of the paper must be prepared in LaTeX, adhering to the ENTCS format.

A special issue containing extended versions of selected papers from FACS08 will be published in Science of Computer Programming (SCP). Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue.