FOCLASA 2006 — Call for Papers
5th International Workshop on the Foundations of Coordination Languages
and Software Architectures
A satellite workshop of CONCUR 2006
Bonn (Germany) — Thursday 31 August 2006
Organisation
Carlos Canal Universidad de Málaga, ETSI Informática,
Campus de Teatinos, 29071 Málaga (Spain)
http://www.lcc.uma.es/~canal
Mirko Viroli Università degli Studi di Bologna, DEIS,
via Venezia 52, 47023 Cesena (Italy)
http://www.ingce.unibo.it/~mviroli
Key dates
Submission 31 May 2006
Notification of acceptance 30 June 2006
Final version due 20 July 2006
Workshop 31 August 2006
Website http://foclasa06.lcc.uma.es/
========================================================================
ABSTRACT
A number of hot research topics are currently sharing the common problem of
combining concurrent, distributed, mobile and heterogenous services and
components, while harnessing the intrinsic complexity of the resulting systems.
These include Web Services, multi-agent systems, peer-to-peer systems, grid
computing, and component-based systems. Fundamental approaches to tackle these
issues rely on foundational works in the context of coordination languages and
software architectures, which are generally claimed to improve software
productivity, enhance maintainability, advocate modularity, promote reusability,
and lead to systems which more tractable and more amenable to verification and
global analysis. The goal of this workshop is to put together researchers and
practitioners of the aforementioned fields, and to share and identify general and
specific problems and solutions.
CALL FOR PAPERS
FOCLASA 2006 is a satellite workshop of the 17th International Conference on
Concurrency Theory, CONCUR 2006. The workshop will be held at same location as
CONCUR on August 31, 2006, one day after the main conference. 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 2006 invites the submission of technical papers in any of the topics of
interest and areas listed above. 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 emailed as PostScript (PS) or Portable Document Format (PDF) files to
foclasa06@lcc.uma.es.
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 2006 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 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.
PROGRAM COMMITTEE
Farhad Arbab CWI, The Netherlands
Luis Barbosa University of Minho, Portugal
Antonio Brogi University of Pisa, Italy
Carlos Canal (co-chair) University of Málaga, Spain
Atsushi Igarashi University of Kyoto, Japan
Jean-Marie Jacquet University of Namur, Belgium
Nickolas Kavantzas Oracle, USA
Antónia Lopes University of Lisbon, Portugal
Ronaldo Menezes Florida Institute of Technology, USA
John-Jules Ch. Meyer Universiteit Utrecht, The Netherlands
Ernesto Pimentel University of Málaga, Spain
Pascal Poizat University of Évry, France
Alessandro Ricci University of Bologna, Italy
Vladimiro Sassone University of Southampton, UK
Miguel Valero Universidad Complutense de Madrid, Spain
Mirko Viroli (co-chair) University of Bologna, Italy
Jan Vitek Purdue University, USA
Danny Weyns Katholieke Universiteit Leuven, Belgium
========================================================================
Transcribed from the workshop site, which survives only in the Wayback Machine:
http://web.archive.org/web/20091227213403/http://foclasa06.lcc.uma.es/welcome.html
(last updated 08/06/2006, so its programme section still reads "to be
announced"). Wording is as published there.
