From: ugo@DI.UniPi.IT
Organization: Dipartimento di Informatica - Universita' di Pisa - Italy
Date: Sat, 12 Nov 94 18:10:30 +0100
Subject: CP95 Call for Papers - PLAIN TEXT


International Conference on Principles and Practice of Constraint Programming (CP95)

Marseille, September 19-22, 1995.

The interdisciplinary area of constraint programming and
constraint-based systems has recently developed an appreciable
identity, which is promising in terms both of simple and general
foundations and of significant practical applications. The new area
needs an international forum to compare the results and discuss the new
lines of development.  The conference has been preceded by two
workshops on the principles and practice of constraint programming
organized at Orcas Island in May 1994 and at Newport in April 1993, and
also by a Workshop on Constraint Logic Programming organized at Alton
Jones in the Spring of 1988. Also the Workshops on Constraint Logic
Programming at Marseille in 1991, 1992 and 1993, and the International
Conference on Constraints in Computational Logics at Munich in
September 1994, are significant antecedents.

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 object
oriented 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
Constraint-related aspects of computational logics, deduction, rewriting.
Constraints in applications, including applications in artificial
intelligence, automated reasoning, model-based reasoning; in operations
research and decision support systems; in data bases; in human-computer
interaction, graphics and robotics; in scientific computing and symbolic
computation; in hardware verification and software engineering.

Alain Colmerauer
Laboratoire d'Informatique de Marseille
Faculte' des Sciences de Luminy
163, Avenue de Luminy
F-13288 Marseille CEDEX 9, France

Ugo Montanari
Dipartimento di Informatica
Universita' di Pisa
Corso Italia, 40
I-56100 Pisa, Italy

Alan Borning (University of Washington)
Jacques Cohen (Brandeis University)
Alain Colmerauer (University of Marseille)
Eugene Freuder (University of New Hampshire)
Herve Gallaire (Xerox Corporation, Grenoble)
Jean-Pierre Jouannaud (University of Paris Sud)
Paris Kanellakis (Brown University)
Jean-Louis Lassez, chair (IBM Watson)
Ugo Montanari (University of Pisa)
Anil Nerode (Cornell University)
Vijay Saraswat (Xerox Corporation, PARC)
Ralph Wachter (Office of Naval Research)

Hassan Ait-Kaci (Simon Fraser University)
Marianne Baudinet (Free University of Brussels)
Peter van Beek (University of Alberta)
Frederic Benhamou (University of Orleans)
Rina Dechter (UC Irvine)
Mehmet Dincbas (COSYTEC, Orsay)
Seif Haridi (SICS, Stockholm)
Pascal van Hentenryck (Brown University)
Manuel Hermenegildo (Polytechnic of Madrid)
Alexander Herold (ECRC, Munich)
Hoon Hong (RISC, Linz)
John Hooker (Carnegie Mellon University, Pittsburgh)
Claude Kirchner (INRIA Nancy)
Alan Mackworth (University of British Columbia)
Michael Maher (IBM Watson, Yorktown Heights)
Ken McAloon (Brooklyn College)
Fumio Mizoguchi (University of Tokyo)
Ugo Montanari, chair (University of Pisa)
Luis Monteiro (New University of Lisbon)
Catuscia Palamidessi (University of Genoa)
Gert Smolka (DFKI, Saarbruecken)

Authors are invited to submit full papers(in English, up to 18 pages,
typeset 12 point) to the PC chairman. Simultaneous submission to other
conferences or journals is not allowed. If ordinary mail is used, five
copies of the paper should be sent by express or courier mail.
Electronic submission is encouraged via e-mail, in the form of
uuencoded compressed PostScript(tm) printable files sent to; however a printed reference copy should be sent
anyway by express or courier mail. Each submission, both by ordinary
mail and by e-mail, should be accompanied by a separate message to with a single postal and e-mail address for
communication, complete title, author(s), affiliation(s) and 200 word

Submissions: March 15, 1995.
Notification of acceptance: May 15, 1995
Camera-ready papers due: June 26, 1995.

The proceedings of the conference will be published by Springer in the
Lecture Notes in Computer Science series. They will be available at the

A special issue of Theoretical Computer Science is planned dedicated to
the conference.

The conference will be four days long from Tuesday to Friday, and will
include several tutorials and invited talks to encourage the
participation of newcomers. It will probably take place in Cassis, a
pleasant small town on the sea near Marseille. Satellite workshops will
be organized (by the interested groups) on Monday, September 18 and
Saturday, September 23.

Cooperation with ACM, AAAI, ALP and EATCS is sought.

For further details concerning the conference, please write to

Prof. Ugo Montanari                  Phone: +39 50 887221
Dipartimento di Informatica          Fax: +39 50 887226
University of Pisa                   E_mail:
Corso Italia, 40                     Telex:  590291 DIPISA I
I-56100 Pisa, Italy