The full version of this preliminary announcement is available.
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 .