FOCLASA 2005 4th International Workshop on the Foundations of Coordination Languages and Software Architectures A Satellite Workshop of CONCUR 2005 August 27, 2005 San Francisco, Californa (USA) 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. 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 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 to foclasa05@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 (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. 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 Important dates =============== Submission: May 31, 2005 Notification of acceptance: June 30, 2005 Final version due: July 15, 2005 Workshop: August 27, 2005 Organisation ============ Carlos Canal Universidad de Málaga (Spain) E-mail: canal@lcc.uma.es http://www.lcc.uma.es/~canal Mirko Viroli Universitŕ degli Studi di Bologna (Italy) E-mail: mviroli@deis.unibo.it http://www.ingce.unibo.it/~mviroli