[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

***************************************************
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/

Extended Submission Deadline: June 10th, 2011
                     (Abstract: June 3rd, 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: June 3rd, 2011 (**Extended**)

      Paper submission: June 10th, 2011 (**Extended**)

      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, Italy

Reply via email to