FOCLASA 2011

 FOCLASA 2011 — Call for Papers
10th International Workshop on the Foundations of Coordination Languages
and Software Architectures
A satellite workshop of CONCUR 2011
Aachen (Germany) — Saturday 10 September 2011

Programme Committee Chairs: MohammadReza Mousavi (Eindhoven University of
                            Technology, The Netherlands)
                            António Ravara (New University of Lisbon, Portugal)

Website  http://foclasa.lcc.uma.es/
Proceedings: EPTCS 58 (2011)

========================================================================

Dear Andrea,

We are writing to you as an author of a paper in the past editions of 
FOCLASA and we would like to invite you to submit a paper to its 
forthcoming edition.
FOCLASA 2011 is  to be held on September 10, 2011, as a satellite of 
CONCUR 2011 in Aachen, Germany.
Please find the CFP of the workshop enclosed.

Also, we would be most thankful if you could publicize the workshop 
among your colleagues and students.
You can find more information about the workshop, as well as a PDF 
version of the CFP at the following URL:

http://foclasa.lcc.uma.es/

We hope to see you in Aachen soon,

Best Regards,
Antonio Ravara and Mohammad Mousavi


***************************************************
The 10th International Workshop on the

Foundations of Coordination Languages and Software Architectures 
(FOCLASA 2011)

A Satellite Workshop of CONCUR 2011

Aachen (Germany), September 10, 2011

http://foclasa.lcc.uma.es/

Submission Deadline: June 3rd, 2011
                      (Abstract: May 27th, 2011)
***************************************************


Abstract
======

Computation nowadays is becoming inherently concurrent, either because 
of characteristics of the hardware (with multicore processors becoming 
omnipresent) or due to the ubiquitous presence of distributed systems 
(incarnated in the Internet). Computational systems are therefore 
typically distributed, concurrent, mobile, and often involve composition 
of heterogeneous components.

To specify and reason about such systems and go beyond the functional 
correctness proofs, e.g., by supporting reusability and improving 
maintainability, approaches such as coordination languages and software 
architecture are recognised as fundamental.

The goal of the FOCLASA 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 context of coordination 
languages and software architectures.


Topics of interest
============

Topics of interest include (but are not limited to):

         * Theoretical models (of coordination, of component 
composition, of open, concurrent, and distributed systems)
         * Specification, refinement, and analysis of software systems 
(architectures, patterns and styles, verification of functional and 
non-functional properties via logics or types)
         * Languages for interaction, coordination, architectures, and 
interface definition (syntax and semantics, implementation, usability, 
domain-specific languages)
         * 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:
         * Service-Oriented computing
         * Multi-agent systems
         * Peer-to-peer systems
         * Grid computing
         * Component-based systems

Invited Talk
========

     Joe Armstrong, Ericsson, Sweden.

Submissions
========

    FOCLASA 2011 is a satellite workshop of the 22nd International 
Conference on Concurrency Theory (CONCUR 2011). It provides a venue 
where researchers and   practitioners on the topics given below 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.

     Submissions must describe authors' original research work and their 
results. Description of work-in-progress with concrete results is also 
encouraged. The contributions should not exceed 15 pages formatted 
according to the style of the Electronic Proceedings in Theoretical 
Computer Science (EPTCS), and should be submitted as Portable Document 
Format (PDF) files using the EasyChair submission site: click here.

Important Dates
===========

       Abstract submission: May 27th, 2011

       Paper submission: June 3rd, 2011

       Notification: July 4th, 2011

       Final version due: July 18th, 2011

       Workshop: September 10th, 2011

     Submitting an abstract does not put any obligation on the authors 
to submit a full paper. Abstracts without an accompanying full paper by 
the paper submission deadline are automatically considered withdrawn; 
the authors are, however, encouraged to explicitly withdraw their 
abstract, if they decide not to submit a full paper.

     All submissions will be reviewed by an international program 
committee who will make a selection among the submissions based on the 
novelty, soundness and applicability of the presented ideas and results. 
Concurrent submission to other venues (conferences, workshops or 
journal) and submission of papers under consideration elsewhere are not 
allowed. A printed version of the proceedings will be distributed among 
participants during the workshop. The proceedings of the workshop will 
be published as a volume in the Electronic Proceedings in Theoretical 
Computer Science (EPTCS) series.

     Participants will give a presentation of their papers in twenty 
minutes, followed by a ten-minute round of questions and discussion on 
participants' work.

     Following the tradition of the past edition, a special issue of an 
international scientific journal will be devoted to FOCLASA 2011. 
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. In the last few editions 
of FOCLASA, a special issue of Science of Computer Programming has been 
dedicated to this workshop and we plan to devote a special issue of the 
same journal to FOCLASA 2011.

Program Committee Chairs
==================

     MohammadReza Mousavi
     Eindhoven University of Technology, The Netherlands


     António Ravara
     New University of Lisbon, Portugal

Program Committee
=============

         Jonathan Aldrich, Carnegie Mellon University, USA
         Luis Barbosa, University of Minho, Portugal
         Bernhard Beckert, Karlsruhe Institute of Technology, Germany
         Antonio Brogi, University of Pisa, Italy
         Carlos Canal, University of Málaga, Spain
         Vittorio Cortellessa, University of L'Aquila, Italy
         Gregor Goessler, INRIA Grenoble - Rhône-Alpes, France
         Ludovic Henrio, INRIA Sophia Antipolis, France
         Paola Inverardi, Università dell'Aquila, Italy
         MohammadReza Mousavi, Eindhoven University of Technology, The 
Netherlands
         Jaco van de Pol, University of Twente, The Netherlands
         António Ravara, Technical University of Lisbon, Portugal
         Gwen Salaün, Grenoble INP - INRIA - LIG, France
         Carolyn Talcott, SRI International, USA
         Emilio Tuosto, University of Leicester, UK
         Mirko Viroli, University of Bologna

========================================================================

Transcribed from the invitation to submit circulated by the chairs on 12 May 2011
(Andrea's mail archive, confs/FOCLASA). Wording is as in the original.