From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2319
Path: news.gmane.org!not-for-mail
From: Jean-Marie JACQUET <jmj@info.fundp.ac.be>
Newsgroups: gmane.science.mathematics.categories
Subject: Foclasa: Last Call for Papers
Date: Tue, 3 Jun 2003 21:40:48 +0200 (MEST)
Message-ID: <200306031940.h53JemF17544@backus.info.fundp.ac.be>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241018570 3522 80.91.229.2 (29 Apr 2009 15:22:50 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:50 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Tue Jun  3 17:02:55 2003 -0300
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Tue, 03 Jun 2003 17:02:55 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 19NHzN-0005M6-00
	for categories-list@mta.ca; Tue, 03 Jun 2003 17:02:33 -0300
X-MailScanner: Found to be clean
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 9
Original-Lines: 117
Xref: news.gmane.org gmane.science.mathematics.categories:2319
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2319>

[ Our apologies for multiple copies. ]


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

                      2nd International Workshop on
                  Foundations of Coordination Languages and
                          Software Architectures
                              (Foclasa 2002)

                   September 2, 2003, Marseille, France
           Workshop affiliated to CONCUR'2003, 02 - 06 September 2003.


              http://www.info.fundp.ac.be/~jmj/Foclasa03.html

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

SCOPE AND TOPICS

    Modern  information  systems  rely  more  and  more  on  combining
    concurrent, distributed, mobile and heterogenous components.  This
    move from  old systems, typically conceived  in isolation, induces
    the  need  for  new   languages  and  software  architectures.  In
    particular, coordination  languages have been  proposed to cleanly
    separate  computational aspects  and communication.  On  the other
    hand,  software  architects face  the  problem  of specifying  and
    reasoning  on non-functional requirements.   All these  issues are
    widely perceived as  fundamental to improve software productivity,
    enhance maintainability, advocate modularity, promote reusability,
    and  lead   to  systems  more  tractable  and   more  amenable  to
    verification and global analysis.

    The aim of  the workshop is to bring  together researchers working
    on the foundations of component-based computing, coordination, and
    software architectures.  Topics of  interest include (but  are not
    limited to):

    o  Theoretical models  for  coordination (component  composition,
       concurrency,   dynamic  aspects  of   coordination,  semantics,
       expressiveness);
    o  Specification,  refinement, and  analysis  of software  archi-
       tectures (patterns  and styles, verification  of functional and
       non-functional properties);
    o  Coordination, architectural, and interface description languages
       (implementation, interoperability, heterogeneity);
    o  Agent-oriented languages (formal models for interacting agents);
    o  Dynamic  software architectures (mobile  agents, configuration,
       reconfiguration);
    o  Modeling  of  information  systems (groupware,  internet  and
       the web, workflow management, CSCW and multimedia applications)
    o  Coordination patterns (mobile computing, internet computing);
    o  Tools  and environments  for  the  development of  coordinated
       applications
    o  Methodologies for validating and certifying software compositions

SUBMISSION GUIDELINES

   Papers describing  original work are solicited  as contributions to
   Foclasa.  Submitted  papers  should  be  limited to  6  000  words,
   preferrably formatted  according  to  the  Electronical Notes in
   Theoretical Computer Science.

   They  should be  emailed as  PostScript (PS)  or  Portable Document
   Format (PDF) files to jmj@info.fundp.ac.be.


PUBLICATION

   Following the previous edition, the  proceedings will  be published
   as a volume of the Electronical Notes in Theoretical Computer Science.

   Selected papers will be published  in a special issue of the journal
   Science of Computer Programming.


IMPORTANT DATES:

      o June 9, 2003:    Submission deadline.
      o July 15, 2003:   Notification of acceptance.
      o August 25, 2003:  Final version.
      o September 2, 2003: Meeting Date.


LOCATION

   The workshop will  be held in Marseille in September  2003. It is a
   satellite workshop  of CONCUR 2003. For venue  and registration see
   the CONCUR web page at http://concur03.univ-mrs.fr/


WORKSHOP ORGANIZERS

      o Antonio Brogi (University of Pisa, Italy)
      o Jean-Marie Jacquet (University of Namur, Belgium)
      o Ernesto Pimentel (University of Malaga, Spain)

PROGRAMME COMITTEE:

      o Farhad Arbab (CWI, The Netherlands)
      o Antonio Brogi (University of Pisa, Italy) - Co-chair
      o Manfred Broy (University of Munich, Germany)
      o Jeff Kramer (Imperial College, United Kingdom)
      o Paola Inverardi (Univerity L'Aquila, Italy)
      o Jean-Marie Jacquet (University of Namur, Belgium) - Co-chair
      o Joost Kok (University of Leiden, The Netherlands)
      o Ernesto Pimentel (University of Malaga, Spain) - Co-chair
      o Antonio Porto (New University of Lisbon, Portugal)
      o Catalin Roman (Washington University, USA)
      o Pamela Zave (AT&T Labs Research, USA)