CFP: Foclasa 2002 (Aug 2002, Brno, Czech Republic)

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


                                            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.fi.muni.cz/concur2002/Foclasa


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


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.


      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 (University 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)

Return to the comp.compilers page.
Search the comp.compilers archives again.