Newsgroups: comp.object.logic
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!oitnews.harvard.edu!purdue!lerc.nasa.gov!magnus.acs.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!news.sprintlink.net!simtel!swidir.switch.ch!univ-lyon1.fr!dsi.unimi.it!dm.unibo.it!cs.unibo.it!cianca
From: cianca@cs.unibo.it (Paolo Ciancarini)
Subject: cfp: coordination
Message-ID: <DEH361.5Jw@dm.unibo.it>
Sender: news@dm.unibo.it
Organization: Department of Computer Science, University of Bologna, Italy
Date: Wed, 6 Sep 1995 07:22:48 GMT
Lines: 132

 
                           Call for Papers

                           COORDINATION'96

           First International Conference on Coordination Models and Languages
                               Cesena, Italy
                            April 15-17, 1996.
 
            A new class of models, formalisms and mechanisms for describing
            concurrent and distributed computations has emerged over the last
            few years.  Some significant representatives of this new class
            are models and languages based on (generative) communication via
            a shared data space: Gamma, Linda, Swarm, Linear Objects, Polis
            and Tao are examples.

            Coordination models and languages are being investigated by the
            ESPRIT Basic Research Project, COORDINATION, which is organising
            this event.  The objective of this conference is to  provide a 
            forum for the rapidly growing community of researchers
            interested in this field.

            Topics of interest:
            Typical, but not exclusive topics of interest are:

        Coordination problems within concurrent, distributed, object
            oriented, functional and logic programming

        Concurrent computation, constraint programming, computation
            models based on the chemical reaction metaphor and related
            areas

        Software environments for the development of coordinated 
            applications

        Semantics and reasoning about coordination

        Case studies with industrial relevance (e.g. Workflow, groupware,
            distributed artificial intelligence, distributed software 
            engineering)
 

          Submissions:
 
            Authors are invited to send full papers (in English, up to 15
            pages) to the PC chairman, at the address
            mentioned on the left. Simultaneous submission to other
            conferences or journals is not allowed.
            Electronic submission is
            encouraged via e-mail, in the form of uuencoded compressed
            PostScript(TM) files.
            Each submission should be accompanied by a 100 word summary
            and a single postal and e-mail address for communication.

 
          Conference Format and Location:
 
            The conference will be three days long from Monday to Wednesday.
            Cesena is a nice town of about 80,000 inhabitants, hosting a
            CS programme of the University of Bologna. The town is
            close to Rimini (the main Italian 
            seaside resort, famous for its night-life), Ravenna (the capital 
            of the western Roman empire) and the S. Marino Republic. Cesena is 
            about one hour by train from Bologna which is connected by direct 
            flights to several European cities.

 
 
         COORDINATION'96
  
          Program Chair:
 
                     Chris Hankin (London)

          Program Committee:
 
                     Gul Agha                 (Illinois)
               Jean-Marc Andreoli             (Xerox Research, Grenoble)
                    Marc Bourgois             (ECRC, Munich)
                    Luca Cardelli             (DEC SRC)
                   Paolo Ciancarini           (Bologna)
                 Laurent Dami                 (Geneva)
                   David Garlan               (Carnegie Mellon)
                   David Gelernter            (Yale)
                    Jose Meseguer             (Stanford)
                  Daniel Le Metayer           (Inria/Irisa, Rennes)
                   Oscar Nierstrasz           (Berne)
                 Antonio Porto                (Lisbon)
                   David Sands                (Copenhagen)
                 Akinori Yonezawa             (Tokyo)

          Local organizers (Bologna):
 
                  Roberto Gorrieri (chair), Marco Roccetti,
                  Mauro Gaspari, Paola Salomoni, Vittorio Maniezzo, 
                  Riccardo Focardi, Nadia Busi, Marco Bernardo.       
  
         Deadline for submissions:     October 30, 1995 
         Notification of acceptance:   December 15,  1995 
         Camera-ready version due:     January 15,  1996 

       Springer will publish the proceedings in the LNCS series.

      INFORMATION
 
          COORDINATION'96
           Chris Hankin
           Department of Computing
           Imperial College
           180 Queen's Gate
           LONDON SW7 2BZ, UK
           Phone: +44 171 594 8266
           Fax:   +44 171 581 8024
           Email: coord@doc.ic.ac.uk
     
 
 








-- 
Prof. Paolo Ciancarini
Dept. of Computer Science, Univ. of Bologna
Pza. di Porta S.Donato, 5 -- 40127 Bologna - Italy
tel. +39 51 354506  fax. +39 51 354510  e-mail: cianca@cs.unibo.it
WWW Home page: http://www.cs.unibo.it/~cianca/index.html

