CFP: Workshop on Principles and Practice of Constraint Programming

PPCP93 --- Call For Papers
        First Workshop on Principles and Practice of Constraint Programming
                                              April 28--30, 1993
Newport, Rhode Island, U.S.A.
                          Sponsored by the Office of Naval Research


The First Workshop on the Principles and Practice of Constraint
Programming (April 28--30, 1993 in Newport, RI) will be an
inter-disciplinary meeting focusing on constraint programming as a general
paradigm for computation. The workshop will be sponsored by the Office of
Naval Research (ONR).


Conventional computing paradigms, such as functional, imperative, and
object-oriented programming, deal primarily with full information notions
of objects and data-types. Constraint programming (CP) is based on the
ability to represent and manipulate partial information about objects,
i.e., constraints such as equalities and inequalities. CP augments
conventional notions of state, state-change, and control with notions of
monotonic accumulation of partial information about objects of interest,
and with operations involving constraints such as consistency and
entailment.


Early studies, in the 60's and 70's, introduced and made use of CP in
graphics and in artificial intelligence. In the 80's, considerable
progress was achieved with the emergence of constraint logic programming
and of concurrent constraint programming. CP has been applied with some
success to operations research scheduling problems, hardware verification,
user-interface design, decision-support systems, and simulation and
diagnosis in model-based reasoning. Currently, CP is contributing
exciting new directions in research areas such as: artificial
intelligence, computational linguistics, concurrent and distributed
computing, database systems, graphical interfaces, operations research and
combinatorial optimization, programming language design and
implementation, symbolic computing algorithms and systems.


The purpose of this workshop is to bring together researchers from all the
above areas with an active interest in constraint programming. The meeting
shall focus on understanding the common principles of this computing
paradigm and investigating its use across different disciplines.


The meeting will be small and informal, providing forums for prepared
presentations, panels, and discussions. Participation will be by
invitation of the program committee, and will be restricted primarily to
authors of accepted position papers. The program committee solicits
position papers describing preliminary or completed research and new
directions or possible uses of CP.


Authors are invited to submit (by hardcopy mail, e-mail or FAX) five
copies of a short position paper, not exceeding 2000 words, by Friday
January 22, 1993 to one of the program co-chairs:




Paris Kanellakis Jean-Louis Lassez Vijay Saraswat
Brown University IBM T.J. Watson Xerox Palo Alto
Dept. of Computer Science Research Center Research Center
Box 1910 P.O. Box 704 3333 Coyote Hill Road
Providence, Yorktown Heights, Palo Alto,
RI 02912 NY 10598 CA 94304
pck@cs.brown.edu jll@watson.ibm.com saraswat@parc.xerox.com
tel: 401-863-7647 tel: 914-784-7841 tel: 415-812-4747
fax: 401-863-7657 fax: 914-784-7455 fax: 415-812-4334




Authors will be notified of the acceptance or rejection of their papers by
February 26, 1993. Full versions of the accepted papers must be received
by March 26, 1993. Proceedings will be available in technical report form
at the workshop and, including feedback from the workshop, will be
published in book format.




ORGANIZING COMMITTEE:
Paris Kanellakis (Brown Univ.)
Jean-Louis Lassez (IBM Watson)
Clifford Lau (ONR)
Vijay Saraswat (Xerox PARC)
Ralph Wachter (ONR)
Donald Wagner (ONR)




INVITED SPEAKERS (preliminary list):
Alain Colmerauer (Univ. d'Aix Marseille)
Herve Gallaire (Xerox Corporation)


PROGRAM COMMITTEE:
Alan Borning (Univ. of Washington, Seattle)
Jacques Cohen (Brandeis Univ.)
David Dill (Stanford Univ.)
Johan de Kleer (Xerox PARC)
Eugene Freuder (Univ. of New Hampshire)
John Hooker (CMU)
Joxan Jaffar (IBM Watson)
Deepak Kapur (SUNY Albany)
Paris Kanellakis (Brown Univ.)
Dexter Kozen (Cornell Univ.)
Jean-Louis Lassez (IBM Watson)
Jean-Claude Latombe (Stanford Univ.)
Nancy Lynch (MIT)
David McAllester (MIT)
Albert Meyer (MIT)
Anil Nerode (Cornell Univ.)
Fernando Pereira (AT&T Bell Labs)
Raghu Ramakrishnan (Univ. of Wisconsin, Madison)
Vijay Saraswat (Xerox PARC)
Pascal Van Hentenryck (Brown Univ.)


LOCAL ORGANIZATION:
Pascal Van Hentenryck
Brown University
Dept. of Computer Science
Box 1910
Providence,
RI 02912
pvh@cs.brown.edu
tel: 401-863-7634
fax: 401-863-7657


IMPORTANT DATES:
        Deadline for submission: January 22, 1993
        Notification of acceptance or rejection: February 26, 1993
        Final paper due: March 26, 1993
        Workshop dates: April 28-30, 1993
--

Return to the comp.compilers page.
Search the comp.compilers archives again.