From: pvh@cs.brown.edu (Pascal van Hentenryck)
Subject: CFP: First Workshop on Principles and Practice of Constraint Programming
Reply-To: pvh@cs.brown.edu (Pascal van Hentenryck)
Organization: Brown Computer Science Dept.
Date: Mon, 11 Jan 1993 16:16:06 GMT
Keywords: CFP, constraint

		      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
-- 
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
Newsgroups: comp.compilers