[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for Papers - FOCLASA'09



Our apologies if you have received multiple copies.
-------------------------------------------------------------------------

CALL FOR PAPERS
               
8th International Workshop on the Foundations of Coordination
Languages and Software Architectures (FOCLASA'09)

Rhodes, Greece - July 11th, 2009

Satellite workshop of the 36th International Colloquium on Automata,
Languages and Programming (ICALP'09)

Website: http://foclasa09.lcc.uma.es/

SUBMISSION DEADLINES:

Abstract: April 8th, 2009
Full paper: April 15th, 2009


FOCLASA'09 is a satellite workshop of the 36th International
Colloquium on Automata, Languages and Programming (ICALP'09). The
workshop will be held on July 11th, 2009. 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'09 invites the submission of technical papers in any of the
topics of interest and areas listed below. 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 submitted
as PostScript (PS) or Portable Document Format (PDF) files using the
EasyChair service (accessible through the FOCLASA'09 Website).

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).

The publication of a special issue on FOCLASA'09 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 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 

Important dates

    * abstract submission: April 8th, 2009
    * paper submission: April 15th, 2009
    * notification: May 15th, 2009
    * final version due: June 5th, 2009
    * workshop: July 11th, 2009 

Organizing committee

    * Gwen Salaun
      University of Malaga, Spain
      Web: http://www.lcc.uma.es/~salaun

    * Marjan Sirjani
      Reykjavik University, Iceland, University of Tehran, Iran
      Web: http://ece.ut.ac.ir/msirjani

Program committee

    * Farhad Arbab, CWI, The Netherlands
    * Luis Barbosa, University of Minho, Portugal
    * Antonio Brogi, University of Pisa, Italy
    * Carlos Canal, University of Malaga, Spain
    * Vittorio Cortellessa, University of L'Aquila, Italy
    * Marlon Dumas, University of Tartu, Estonia
    * Ludovic Henrio, INRIA Sophia Antipolis, France
    * Atsushi Igarashi, University of Kyoto, Japan
    * Jean-Marie Jacquet, University of Namur, Belgium
    * Alexander Knapp, University of Munich, Germany
    * Nenad Medvidovic, University of Southern California, USA
    * Ronaldo Menezes, Florida Institute of Technology, USA
    * George Papadopoulos, University of Cyprus, Cyprus
    * Ernesto Pimentel, University of Malaga, Spain
    * Pascal Poizat, University of Evry, France
    * Julian Rathke, University of Sussex, United Kingdom
    * Antonio Ravara, Technical University of Lisbon, Portugal
    * Alessandro Ricci, University of Bologna, Italy
    * Gwen Salaun, University of Malaga, Spain
    * Marjan Sirjani, Reykjavik University, Iceland, University of Tehran, Iran
    * George Spanoudakis, City University, UK
    * Carolyn Talcott, SRI International
    * Miguel Valero, Universidad Complutense de Madrid, Spain
    * Mirko Viroli, University of Bologna, Italy
    * Danny Weyns, Katholieke Universiteit Leuven, Belgium
    * Erik de Vink, Eindhoven University of Technology, The Netherlands 

Steering committee

    * Farhad Arbab, CWI, The Netherlands
    * Antonio Brogi, University of Pisa, Italy
    * Carlos Canal, University of Malaga, Spain
    * Jean-Marie Jacquet, University of Namur, Belgium
    * Ernesto Pimentel, University of Malaga, Spain
    * Mirko Viroli, University of Bologna, Italy