CALL FOR PAPERS    --    CCP'95


                        First International Workshop on

                        CONCURRENT CONSTRAINT PROGRAMMING
     

                        Venice, Italy, May 29 - 31, 1995

                     `` Una in se, in multis diversimoda ''

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. The family of Concurrent Constraint languages makes it possible to
combine the advantages of both approaches, that is, on the one hand the ability
offered by Constraint Logic Programming to reason (symbolically) and compute
(numerically) on specific domains and, on the other hand, the possibility
provided by Concurrent Logic Programming of a data-driven computation.

CCP'95 is the first international workshop devoted to Concurrent Constraint
Programming and is intented 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 workshop 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.

Papers must be written in English and must not exceed 15 pages (including
references and figures). Submitted papers should not have been previously
published or submitted to any journals or conferences. 
Send four (4) copies of your paper by January 6, 1995 to

Philippe Codognet, INRIA - Rocquencourt, B. P. 105, 78 153 Le Chesnay, FRANCE  

together with an email to Philippe.Codognet@inria.fr containing title, name of
authors and abstract of the paper.  Authors will be notified of the decision by
the beginning of March, 1995.  A selection of the papers accepted for 
presentation at the workshop 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)
 

Sponsored by French Ministry of Research and Education, INRIA 
and Universita di Venezia