COORDINATION 2000 (Second Call for Papers)

COORDINATION 2000 <coord00@cs.wustl.edu>
1 Apr 2000 14:16:09 -0500

          From comp.compilers

Related articles
COORDINATION 2000 (Second Call for Papers) coord00@cs.wustl.edu (COORDINATION 2000) (2000-04-01)
| List of all articles for this month |
From: COORDINATION 2000 <coord00@cs.wustl.edu>
Newsgroups: comp.groupware,comp.compilers
Date: 1 Apr 2000 14:16:09 -0500
Organization: Washington University in St. Louis
Keywords: conference, CFP

                                                      Second Call for Papers


                                                          COORDINATION 2000


                                      http://www-gloc.di.fct.unl.pt/coord00/


      Fourth International Conference on Coordination Models and Languages


                                                          Limassol, Cyprus


                                                      11-13 September 2000


The need for increased programmer productivity and rapid development
of complex systems provide the pragmatic motivation for the
development of coordination languages and models. The intellectual
excitement associated with such endeavors is rooted in the decades-old
desire to leverage off increasingly higher levels of
abstractions. Coordination-based methods provide a clean separation
between individual software components and their interaction within
the overall software organization. This separation makes large
applications more tractable, supports global analysis, and enhances
reuse of software.


Building on the success of the last three editions, this conference
provides a forum for the growing community of researchers interested
in models, languages, and implementation techniques for coordination.


                                                                    Topics


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


      * Theoretical models and foundations for coordination: component
          composition, concurrency, mobility, dynamic aspects of
coordination.
      * Specification, refinement, and analysis of software architectures:
          patterns and styles, verification of functional and non-functional
          properties.
      * Coordination, architectural, and interface definition languages:
          implementation, interoperability, heterogeneity.
      * Agent-oriented languages: formal models for interacting agents.
      * Dynamic software architectures: mobile agents, configuration,
          reconfiguration.
      * Tools and environments for the development of coordinated
          applications: integration within the development process.
      * Industrial relevance of coordination and software architectures:
          programming in the large, domain-specific software architectures
and
          coordination models, case studies.


                                                                Proceedings


The conference proceedings will be published by Springer, in the LNCS
(Lecture Notes in Computer Science) series.


Proceedings of the previous editions of this conference are also
available
in the LNCS series: volumes 1061, 1282 and 1594.


                                                    Submission Instructions


Authors are invited to submit full papers (in English, up to 6000
words) electronically in PostScript or PDF using a two phase online
submission process. First, registration of the paper and an abstract
of no more than 250 words must be complete before 7 April 2000. After
successfully completeing this, you will receive a url through which to
submit your paper, due no later than 14 April 2000.


The authors' instructions provided by Springer should be followed. A
link can be found from the conference web page.


Simultaneous or similar submissions to other conferences or journals
are not allowed.


Submissions should explicitly state their contribution and their
relevance to the theme of the conference. Other criteria for selection
will be originality, significance, correctness, and clarity.


                                                        Conference Location


The conference will be held in Limassol, the most popular and lively
city of Cyprus, which is located on the southern coast of the
island. The conference venue will be a five-star hotel on the coast.


                                                            Important Dates


                                  Pre-submission abstracts 7 Apr 2000


                                  Full paper submissions 14 Apr 2000


                                  Notification of acceptance 14 Jun 2000


                                  Camera-ready version 7 Jul 2000


                                                          Program co-chairs


  António Porto Gruia-Catalin Roman


  New University of Lisbon, Portugal Washington University in St.
Louis,
  ap@di.fct.unl.pt USA
  http://www-gloc.di.fct.unl.pt/~ap roman@cs.wustl.edu
                                                                            http://www.cs.wustl.edu/~roman


                                                          Organizing Chair


George A. Papadopoulos


University of Cyprus
george@cs.ucy.ac.cy
http://www.cs.ucy.ac.cy/papadopo.html


                                                          Program Committee


                                                      (excluding co-chairs)


    Gul Agha
    U. Illinois, Jean-Marie Jacquet George Papadopoulos
    Urbana-Champaign, USA U. Namur, Belgium U. Cyprus, Cyprus
    agha@cs.uiuc.edu jmj@info.fundp.ac.be george@cs.ucy.ac.cy




    Farhad Arbab Edwin de Jong Rick Schlichting
    CWI, The Netherlands Signaal, The U. Arizona, USA
    Farhad.Arbab@cwi.nl Netherlands rick@cs.arizona.edu
                                                  edejong@signaal.nl
                                                                                                  Katia Sycara
    Lubomir Bic Joost Kok Carnegie Mellon U., USA


    U. California, U. Leiden, The Katia.Sycara@cs.cmu.edu


    Irvine, USA Netherlands
    bic@ics.uci.edu joost@wi.leidenuniv.nl John Thomas
                                                                                                  Cruzio, USA
    GianLuigi Ferrari Jose Meseguer jthomas@cruzio.com
    U. Pisa, Italy SRI, USA
    giangi@di.unipi.it meseguer@csl.sri.com Robert Tolksdorf
                                                                                                  T.U. Berlin, Germany
    José Luiz Fiadeiro Naftaly Minsky tolk@cs.tu-berlin.de
    U. Lisbon, Portugal Rutgers U., USA
    llf@di.fc.ul.pt minsky@cs.rutgers.edu Alan Wood
                                                                                                  U. York, UK
    Roberto Gorrieri Antonio Natali wood@cs.york.ac.uk
    U. Bologna, Italy U. Bologna, Italy
    gorrieri@cs.unibo.it anatali@deis.unibo.it Daniel Yankelevich
                                                                                                  Pragma Consultores,
    Paola Inverardi Rocco De Nicola Argentina
    U. l'Aquila, Italy U. Firenze, Italy dyankele@pragma.com.ar
    inverard@univaq.it denicola@dsi.unifi.it


                                                                Sponsorship


This conference is officially sponsored by the Esprit Working Group
24512 Coordina.


Post a followup to this message

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