[C7] ================================================ AMAST Links 01 03

1st International Workshop on Concurrent Constraint Programming, CCP'95
                   Venice, Italy, May 29 - 31, 1995

   The full version of this Call for Papers is available, both in
_plain-text_ form and in _LaTeX_ form, respectively at URL:
http://www.cs.utwente.nl/data/amast/links/v01/i03/full/CCP95c.txt,.tex

  Concurrent Constraint Programming is a new paradigm that emerged at
the end of the eighties and which generalizes both Concurrent and
Constraint Logic Programming. The key idea underlying this merger is
to use Constraints to extend the synchronization and communication
mechanisms of Concurrent Logic languages. CCP'95 is intended to cover
all aspects of this new paradigm:
   Theoretical foundations and semantics,      Language design,
   Parallel and distributed implementations,   Compilation techniques,
   Relations with other paradigms,             Constraint solving,
   Distributed artificial intelligence,        Practical systems,
   Static analysis and program transformation, Applications.
  The program will include invited talks by Ugo Montanari (Pisa, Italy)
Vijay Saraswat (Xerox PARC, USA) and Pascal van Hentenryck (Brown, USA)
and presentation of refereed papers.
  *Submissions:* Papers, in English, not exceeding 15 pages (including
references and figures) and not previously published or submitted to
any journals or conferences. Send four copies by January 6, 1995 to:
   Ph. Codognet, INRIA-Rocquencourt, BP 105, F-78153 Le Chesnay, France
  together with an email to Philippe.Codognet@inria.fr containing title
authors and abstract of the paper. Notification of the decision by the
beginning of March, 1995. A selection of the papers accepted for
presentation will appear in a special issue of a major journal.
  *Conference Chair:* A. Cortesi (Venezia, Italy)
  *Program Chair:* P. Codognet (INRIA, France)
  *Program Committee:* K. Clark (Imperial College, UK), C. Codognet
(LIENS, France), M-M. Corsini (Bordeaux, France), R. Giacobazzi (LIX,
France), S. Haridi (SICS, Sweden), J-L. Imbert (Clermont-Ferrand,
France), M. Maher (IBM Yorktown, USA), C. Palamidessi (Genova, Italy),
A. Porto (Lisboa, Portugal), F. Rossi (Pisa, Italy), G. Smolka (DFKI,
Germany), K. Ueda (Tokyo, Japan).