[Pl-seminar] Flocasa: 2nd Call for Paper

Jean-Marie JACQUET jmj at info.fundp.ac.be
Wed, 17 Apr 2002 20:12:32 +0200 (MEST)


[ Our apologies for multiple copies. ]


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

                      1st International Workshop on
                  Foundations of Coordination Languages and
                          Software Architectures
                              (Foclasa 2002)

                   August 24, 2002, Brno, Czech Republic
           Workshop affiliated to CONCUR'2002, 20 - 23 August 2002.


  http://www.info.fundp.ac.be/~jmj/Workshops/Concur2002/Foclasa.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 definition 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


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  Fundamenta  Informaticae
   style (available at http://fi.mimuw.edu.pl/submissions.html).

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


PROCEEDINGS

   The  proceedings will  be published  as a  technical report  of the
   Institute  of Informatics  at  the University  of  Namur, and  will 
   be available at the workshop. 


PUBLICATION

   Selected papers will be published  in a special issue of the Funda-
   menta Informaticae  journal, with February 2003  as expected publi-
   cation time.

   
   
IMPORTANT DATES:

      o May 25, 2002:    Submission deadline.
      o June 30, 2002:   Notification of acceptance.
      o August 1, 2002:  Final version.
      o August 24, 2002: Meeting Date.


LOCATION

   The workshop will be held in Brno in August 2002. It is a satellite
   workshop of CONCUR 2002. For  venue and registration see the CONCUR
   web page at http://www.fi.muni.cz/concur2002/


WORKSHOP ORGANIZERS

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


PROGRAMME COMITTEE:

      o Antonio Brogi (University of Pisa, Italy) - Co-chair
      o Rocco De Nicola (University of Firenze, Italy)
      o Jos Luiz Fiadeiro (ATX Software and Univ. of Lisbon, Portugal) 
      o Roberto Gorrieri (Univerity of Bologna, Italy) 
      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 Antonio Porto (New University of Lisbon, Portugal)