FOCLASA 2007 — Call for Papers
6th International Workshop on the Foundations of Coordination Languages
and Software Architectures
A satellite workshop of CONCUR 2007
Lisbon, Portugal — 8 September 2007
Organising Committee
Carlos Canal Universidad de Malaga, Spain http://www.lcc.uma.es/~canal
Pascal Poizat INRIA Rocquencourt, projet ARLES / Universite d'Evry, France
http://www.ibisc.univ-evry.fr/~poizat
Mirko Viroli Universita di Bologna, DEIS Cesena, Italy
http://www.ingce.unibo.it/~mviroli
Steering Committee
Antonio Brogi, University of Pisa, Italy
Jean-Marie Jacquet, University of Namur, Belgium
Ernesto Pimentel, University of Malaga, Spain
Key dates
Title and abstract 3 June 2007 (requested in advance)
Paper submission 10 June 2007
Workshop 8 September 2007
========================================================================
Abstract
A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogeneous 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 are 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.
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
Call for Papers (closed)
FOCLASA 2007 is a satellite workshop of the 18th International Conference on Concurrency
Theory CONCUR
2007 . The workshop will be held on
September 8, 2007. 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 2007 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
Please enable JavaScript for showing email contact info.
The deadline for paper submission to FOCLASA 2007 is June 10, 2007. However, if you intend to submit a paper to the workshop, please inform us of the title and abstract by June 3, so we can organize in advance and speed up the reviewing process.
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 2007 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 .
Programme Committee
Farhad Arbab, CWI, The Netherlands
Luis Barbosa, University of Minho, Portugal
Antonio Brogi, University of Pisa, Italy
Carlos Canal, University of Málaga, Spain
Serge Haddad, University of Paris-Dauphine, France
Atsushi Igarashi, University of Kyoto, Japan
Paola Inverardi, University of L'Aquila, Italy
Valérie Issarny, INRIA, France
Jean-Marie Jacquet, University of Namur, Belgium
Nickolas Kavantzas, Oracle, USA
Ronaldo Menezes, Florida Institute of Technology, USA
John-Jules Ch. Meyer, Universiteit Utrecht, The Netherlands
George Papadopoulos, University of Cyprus, Cyprus
Ernesto Pimentel, University of Málaga, Spain
Pascal Poizat, ARLES Project-team, INRIA and Université d'Evry, France
Julian Rathke, University of Sussex, United Kingdom
Alessandro Ricci, University of Bologna, Italy
Miguel Valero, Universidad Complutense de Madrid, Spain
Mirko Viroli, University of Bologna, Italy
Jan Vitek, Purdue University, USA
Danny Weyns, Katholieke Universiteit Leuven, Belgium
Steering Committee
Antonio Brogi, University of Pisa, Italy
Jean-Marie Jacquet, University of Namur, Belgium
Ernesto Pimentel, University of Málaga, Spain
Organizing Committee
Carlos Canal
Universidad de Málaga, Spain
ETSI Informática
Campus de Teatinos
29071 Málaga (Spain)
Web: http://www.lcc.uma.es/~canal
Pascal Poizat
INRIA
Rocquencourt
Projet ARLES
Domaine de Voluceau -
Rocquencourt
78153 Le Chesnay Cedex (France)
91000 Evry (France)
Web: http://www.ibisc.univ-evry.fr/~poizat
Mirko Viroli
Università degli Studi di Bologna, Italy
DEIS
via Venezia 52
47023 Cesena (Italy)
Web: http://www.ingce.unibo.it/~mviroli
