PRELIMINARY ANNOUNCEMENT ------------------------ International Conference on Principles and Practice of Constraint Programming (CP95) Marseille, September 19-22, 1995. (in cooperation with AAAI and sponsored by Compulog Net) AIMS OF THE CONFERENCE ---------------------- 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 programming. 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. CONFERENCE CHAIR ---------------- Alain Colmerauer Laboratoire d'Informatique de Marseille Faculte' des Sciences de Luminy 163, Avenue de Luminy F-13288 Marseille CEDEX 9, France E-mail: alain.colmerauer@lim.univ-mrs.fr PROGRAM CHAIR ------------- Ugo Montanari Dipartimento di Informatica Universita' di Pisa Corso Italia, 40 I-56100 Pisa, Italy E-mail: ugo@di.unipi.it ORGANIZING COMMITTEE -------------------- 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) PROGRAM COMMITTEE ----------------- 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) PAPER SUBMISSIONS ----------------- 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 cp95@di.unipi.it; 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 cp95@di.unipi.it with a single postal and e-mail address for communication, complete title, author(s), affiliation(s) and 200 word abstract. IMPORTANT DATES ---------------- Submissions: March 15, 1995. Notification of acceptance: May 15, 1995 Camera-ready papers due: June 26, 1995. CONFERENCE PROCEEDINGS ---------------------- The proceedings of the conference will be published by Springer in the Lecture Notes in Computer Science series. They will be available at the conference. TCS SPECIAL ISSUE ----------------- A special issue of Theoretical Computer Science is planned dedicated to the conference. CONFERENCE FORMAT ----------------- 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. SPONSORSHIP ----------- Cooperation with ACM, ALP and EATCS is sought. For further details concerning the conference, please write to cp95@di.unipi.it.