|Call for Papers|
SCOPE AND TOPICS
Modern information systems rely more and more on combining concurrent, distributed, mobile and heterogenous components. This move from old systems, typically conceived in isolation, induces the need for new languages and software architectures. In particular, coordination languages have been proposed to cleanly separate computational aspects and communication. On the other hand, software architects face the problem of specifying and reasoning on non-functional requirements. All these issues are widely perceived as fundamental to improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to systems more tractable and more amenable to verification and global analysis.
The aim of the workshop is to bring together researchers working on the foundations of component-based computing, coordination, and software architectures. Topics of interest include (but are not limited to):
Papers describing original work are solicited as contributions to Foclasa. Submitted papers should be limited to 6 000 words, preferrably formatted according to the style of the Electronical Notes in Theoretical Computer Science.
They should be emailed as PostScript (PS) or Portable Document Format (PDF) files to firstname.lastname@example.org.
Following the previous edition, the proceedings will be published as a volume of the Electronical Notes in Theoretical Computer Science.
Moreover, selected papers will be published in a special issue of the journal Science of Computer Programming.
The FOCLASA 2003 workshop is a satellite workshop of the 14th International Conference on Concurrency Theory CONCUR 2003. The workshop will be held at same location as CONCUR 2003, on the day immediately preceeding the conference (September 2). The participants of the FOCLASA 2003 workshop will also have the opportunity to attend talks of the other CONCUR satellite workshops.