Call for papers

FOCLASA 2009 is a satellite workshop of the 36th International Colloquium on Automata, Languages and Programming (ICALP'09). The workshop will be held on July 11th, 2009. The workshop tries to provide a venue where researchers and practitioners on the topics above can meet, exchange ideas and problems, identify some of the key and fundamental issues related to coordination languages and software architecture, and explore together and disseminate solutions.

FOCLASA 2009 invites the submission of technical papers in any of the topics of interest and areas listed below. Submissions must describe authors' original research work and their results. Description of work-in-progress is also encouraged. The contributions should not exceed 15 pages formatted according to the style of the Electronic Notes on Theoretical Computer Science (ENTCS), and should be submitted as PostScript (PS) or Portable Document Format (PDF) files using the submission link.

All submissions will be reviewed by an international program committee that will select them for presentation in the workshop. Selected papers will be available through the workshop website, and a printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published in Electronic Notes in Theoretical Computer Science (ENTCS).

Participants will make a presentation of their papers (about twenty or twenty five minutes maximum), followed by a five to ten minutes round of questions and discussion on participants' work. The workshop will also include a closing panel in which several issues related to the topics of the workshop and some issues raised during the workshop will be discussed. The Panel Chair will invite the panelists and moderate the debate.

The publication of a special issue on FOCLASA 2009 in an international scientific journal is also being prepared. 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. Previous editions of FOCLASA have been published on Fundamenta Informaticae and Science of Computer Programming.

Topics of interest

Topics of interest include (but are not limited to):

  • Theoretical models (coordination, component and service composition, concurrency, semantics, expressiveness)
  • Specification, refinement, and analysis of software systems (architectures, patterns and styles, verification of functional and non-functional properties)
  • Languages for interaction, coordination, architectures, and interface definition (implementation, interoperability, heterogeneity)
  • Dynamic software architectures (mobile agents, self-organizing/adaptive/reconfigurable systems)
  • Tools and environments for the development of applications.

In particular, practice, experience and methodologies from the following areas are solicited as well:

  • Web Services
  • Multi-agent systems
  • Peer-to-peer systems
  • Grid computing
  • Component- based systems