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 [EMAIL PROTECTED]
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: [EMAIL PROTECTED]
http://www.lcc.uma.es/~canal
Mirko Viroli
Universit� degli Studi di Bologna (Italy)
E-mail: [EMAIL PROTECTED]
http://www.ingce.unibo.it/~mviroli
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
