FOCLASA 2005 — Call for Papers
4th International Workshop on the Foundations of Coordination Languages
and Software Architectures
A satellite workshop of CONCUR 2005
San Francisco, California (USA) — Saturday 27 August 2005
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 2005
Notification of acceptance 30 June 2005
Final version due 20 July 2005
Early registration deadline 20 July 2005
Workshop 27 August 2005
Website http://foclasa05.lcc.uma.es/
========================================================================
ABSTRACT
A number of hot research topics are currently sharing the common problem of
combining concurrent, distributed, mobile and heterogenous components, trying to
harness the intrinsic complexity of the resulting systems. These include
coordination, peer-to-peer systems, grid computing, web-services, multi-agent
systems, and component-based systems. Coordination languages and software
architectures are recognised as fundamental approaches to tackle these issues,
improving software productivity, enhancing maintainability, advocating
modularity, promoting reusability, and leading to systems 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, to share and
identify common problems, and to devise general solutions in the contexts of
coordination languages and software architectures.
CALL FOR PAPERS
FOCLASA 2005 is a satellite workshop of the 16th International Conference on
Concurrency Theory, CONCUR 2005. The workshop will be held at same location as
CONCUR 2005 on August 27, 2005, 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 2005 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.
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 (to determine) will
invite the panelists and moderate the debate.
The publication of a special issue on FOCLASA 2005 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
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
Alessandro Ricci University of Bologna, Italy
Katia Sycara Carnegie Mellon University, USA
Vladimiro Sassone University of Sussex, UK
Mirko Viroli (co-chair) University of Bologna, Italy
Jan Vitek Purdue University, USA
Gianluigi Zavattaro University of Bologna, Italy
PREVIOUS EDITIONS
FOCLASA 2002 — a satellite workshop of CONCUR 2002, Brno (Czech Republic)
FOCLASA 2003 — a satellite workshop of CONCUR 2003, Marseille (France)
FOCLASA 2004 — a satellite workshop of CONCUR 2004, London (United Kingdom)
========================================================================
Transcribed from the workshop site, which survives only in the Wayback Machine:
http://web.archive.org/web/20091227213403/http://foclasa05.lcc.uma.es/welcome.html
Wording is as published there.
