FIRST ANNOUNCEMENT AND CALL FOR PAPERS -------------------------------------- Second International Conference on Principles and Practice of Constraint Programming (CP96) August 19-22, 1996 Cambridge, Massachusetts, USA CP96 will be held in conjunction with the first appearance in the USA of the Conference on the Practical Applications of Constraint Technology, PACT-USA 96, August 23, 1996. SCOPE OF THE CONFERENCE ----------------------- Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. The conference is concerned with all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. Contributions are welcome from any discipline concerned with constraints, including: artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, symbolic computation. Contributions are welcome from any domain employing constraints, including: computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, vision, visualization, user interfaces. Papers are especially welcome that bridge disciplines or combine theory and practice. Proceedings of the first conference and two preceding workshops can be obtained as: Principles and Practice of Constraint Programming - CP'95, First International Conference, U. Montanari and F. Rossi, editors, Springer LNCS 976 Principles and Practice of Constraint Programming, Second International Workshop, A. Borning, editor, Springer LNCS 874 Principles and Practice of Constraint Programming, The Newport Papers, V. Saraswat and P. Van Hentenryck, editors, The MIT Press PAPER SUBMISSIONS ----------------- The submission deadline is February 15, 1996. Five hard copies (not faxes or electronic copies), in English, must be received by the Program Chair by the deadline date. Papers must be a maximum of 15 pages total, including title page, figures and references. Text should be in 12 point type and occupy a printing area of 6 inches by 9.5 inches (15.3 cm by 24.2 cm) on 8.5 by 11 inch or A4 paper. The title page must contain: Title and authors Physical and e-mail addresses, telephone and fax numbers (if available) for each author Identification of corresponding author, if not the first author An abstract of no more than 200 words A list of keywords Electronic submission is strongly encouraged in addition to, not in place of, hard copy submission. Details on electronic submission will be forthcoming. Decisions on acceptance will be sent by April 15. Some submissions not accepted as papers may be offered presentation as posters, with an extended abstract in the proceedings. PUBLICATION ----------- The proceedings will be published in the Springer LNCS series. Camera-ready copy will be due by May 15, 1996. The publication cannot duplicate an earlier conference publication. Papers and posters must be presented at the conference by one of the authors. Authors of selected papers will be invited to submit revisions to a special issue of the Constraints journal devoted to the conference. An award will be given to the paper that best exemplifies the interdisciplinary spirit of the conference. WORKSHOPS, TUTORIALS, PANELS ---------------------------- Proposals are invited for one day workshops and half-day tutorials to be held on August 19. Proposals are invited for one hour conference panels. Proposals should be sent by e-mail to the Program Chair by December 15. Selections will be made by January 15. EXHIBITION AND SPONSORS ----------------------- Companies, publishers, agencies or organizations interested in exhibition space, or in becoming conference sponsors, should contact the Program Chair. Researchers interested in providing computer demonstrations should contact the Program Chair. ORGANIZATION ------------ Program Chair: Eugene C. Freuder Department of Computer Science University of New Hampshire Kingsbury Hall M208 College Road Durham, New Hampshire 03824 USA phone: 603-862-1867 fax: 603-862-3493 e-mail: ecf@cs.unh.edu Local Arrangements Chair: Isabel Cruz, Tufts University, cp96@cs.tufts.edu Publicity Chair: Peter van Beek, University of Alberta, vanbeek@cs.ualberta.ca 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) IMPORTANT DATES --------------- December 15, 1995: Submission of workshop, tutorial and panel proposals January 15, 1996: Decisions on workshop, tutorial and panel proposals February 15, 1996: Paper submissions April 15, 1996: Acceptance decisions May 15, 1996: Camera-ready copy due August 19-22, 1996: CP96 August 23, 1996: PACT-USA 96 FURTHER INFORMATION ------------------- Additional information will be posted, and will be available at the CP96 web site: http://www.cs.ualberta.ca/~ai/cp96.