[C6] ================================================ AMAST Links 01 03

Int'l Conference Principles & Practice of Constraint Programming, CP'95
                   Marseille, September 19-22, 1995

   The _full version_ of this preliminary announcement is available at
URL: http://www.cs.utwente.nl/data/amast/links/v01/i03/full/CP95c.txt

  *Aims of the Conference* The interdisciplinary area of constraint
programming and constraint-based systems has recently developed an
appreciable identity, and needs an international forum to compare the
results and discuss the new lines of development.
  *Topics* of interest include the following. Constraint programming
languages, including constraint logic programming and concurrent
constraint programming. Constraint programming as a unifying paradigm
for functional, logic, concurrent and imperative languages, including
applications to OO programming and coordination languages. Semantics,
compilation and programming environments for constraint programming,
including static analysis and optimization. Constraint systems and
constraint problems, including constraints for knowledge representation
and processing, numerical constraints, symbolic constraints, set
constraints. Algorithms for constraint satisfaction and entailment.
Mathematical programming and combinatorial optimization via constraint
programming. Constraint-related aspects of computational logics,
deduction, rewriting. Constraints in applications, including those in
AI, automated reasoning, model-based reasoning; in operations research,
decision support systems; in data bases; in human-computer interaction,
graphics and robotics; in scientific computing, symbolic computation;
in hardware verification and software engineering.
  *Conference Chair:*
   Alain Colmerauer (E-mail: alain.colmerauer@lim.univ-mrs.fr)
   Lab. d'Informatique de Marseille, Faculte' des Sciences de Luminy,
   163, Avenue de Luminy, F-13288 Marseille CEDEX 9, France
  *Program Chair:*
   Ugo Montanari (E-mail: ugo@di.unipi.it)
   Dipartimento di Informatica, Universita' di Pisa
   Corso Italia, 40, I-56100 Pisa, Italy
  *Submissions:* full papers (in English, up to 18 pages, 12 pt) to the
PC chairman. Submission via e-mail (to cp95@di.unipi.it) is encouraged.
See the full version of this announcement for further details.
  *Dates* Subm: Mar 15, 1995; notif: May 15, 1995; final: Jun 26, 1995.
  *Proceedings* will be published by Springer in the LNCS series and
will be available at the conference. A special issue of the journal
_Theoretical Computer Science_ is planned dedicated to the conference.
  *More information:* please write to cp95@di.unipi.it .