From: pvh@cs.brown.edu (Pascal van Hentenryck)
Subject:  CFP: First Workshop on Principles and Practice of Constraint Programmi
Organization: Brown Computer Science Dept.
Date: Mon, 11 Jan 1993 16:18:54 GMT

		      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



Newsgroups: sci.math.symbolic