home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / theory / 2853 < prev    next >
Encoding:
Text File  |  1993-01-11  |  5.5 KB  |  131 lines
  1. Newsgroups: comp.theory
  2. Path: sparky!uunet!brunix!cs.brown.edu!pvh
  3. From: pvh@cs.brown.edu (Pascal van Hentenryck)
  4. Subject:  CFP: First Workshop on Principles and Practice of Constraint Programming
  5. Message-ID: <1993Jan11.161445.18271@cs.brown.edu>
  6. Sender: news@cs.brown.edu
  7. Organization: Brown Computer Science Dept.
  8. Date: Mon, 11 Jan 1993 16:14:45 GMT
  9. Lines: 120
  10.  
  11.               PPCP93 --- Call For Papers
  12.     First Workshop on Principles and Practice of Constraint Programming
  13.                        April 28--30, 1993
  14.            Newport, Rhode Island, U.S.A.
  15.              Sponsored by the Office of Naval Research 
  16.  
  17. The First Workshop on the Principles and Practice of Constraint Programming
  18. (April 28--30, 1993 in Newport, RI) will be an inter-disciplinary meeting
  19. focusing on constraint programming as a general paradigm for computation.  The
  20. workshop will be sponsored by the Office of Naval Research (ONR).
  21.  
  22. Conventional computing paradigms, such as functional, imperative, and
  23. object-oriented programming, deal primarily with full information notions of
  24. objects and data-types.  Constraint programming (CP) is based on the ability
  25. to represent and manipulate partial information about objects, i.e.,
  26. constraints such as equalities and inequalities.  CP augments conventional
  27. notions of state, state-change, and control with notions of monotonic
  28. accumulation of partial information about objects of interest, and with
  29. operations involving constraints such as consistency and entailment.
  30.  
  31. Early studies, in the 60's and 70's, introduced and made use of CP in graphics
  32. and in artificial intelligence. In the 80's, considerable progress was
  33. achieved with the emergence of constraint logic programming and of concurrent
  34. constraint programming. CP has been applied with some success to operations
  35. research scheduling problems, hardware verification, user-interface design,
  36. decision-support systems, and simulation and diagnosis in model-based
  37. reasoning.  Currently, CP is contributing exciting new directions in research
  38. areas such as: artificial intelligence, computational linguistics, concurrent
  39. and distributed computing, database systems, graphical interfaces, operations
  40. research and combinatorial optimization, programming language design and
  41. implementation, symbolic computing algorithms and systems.
  42.  
  43. The purpose of this workshop is to bring together researchers from all the
  44. above areas with an active interest in constraint programming. The meeting
  45. shall focus on understanding the common principles of this computing paradigm
  46. and investigating its use across different disciplines.
  47.  
  48. The meeting will be small and informal, providing forums for prepared
  49. presentations, panels, and discussions. Participation will be by invitation of
  50. the program committee, and will be restricted primarily to authors of accepted
  51. position papers. The program committee solicits position papers describing
  52. preliminary or completed research and new directions or possible uses of CP.
  53.  
  54. Authors are invited to submit (by hardcopy mail, e-mail or FAX) five copies of
  55. a short position paper, not exceeding 2000 words, by Friday January 22, 1993
  56. to one of the program co-chairs:
  57.  
  58.  
  59. Paris Kanellakis        Jean-Louis Lassez        Vijay Saraswat
  60. Brown University            IBM T.J. Watson          Xerox Palo Alto
  61. Dept. of Computer Science   Research Center          Research Center
  62. Box 1910                P.O. Box 704             3333 Coyote Hill Road
  63. Providence,                 Yorktown Heights,        Palo Alto, 
  64. RI 02912                    NY 10598                 CA 94304
  65. pck@cs.brown.edu            jll@watson.ibm.com       saraswat@parc.xerox.com
  66. tel: 401-863-7647           tel: 914-784-7841        tel: 415-812-4747
  67. fax: 401-863-7657           fax: 914-784-7455        fax: 415-812-4334
  68.  
  69.  
  70. Authors will be notified of the acceptance or rejection of their papers by
  71. February 26, 1993.  Full versions of the accepted papers must be received by
  72. March 26, 1993.  Proceedings will be available in technical report form at the
  73. workshop and, including feedback from the workshop, will be published in book
  74. format.
  75.  
  76.  
  77. ORGANIZING COMMITTEE:
  78. Paris Kanellakis (Brown Univ.)
  79. Jean-Louis Lassez (IBM Watson)
  80. Clifford Lau (ONR)
  81. Vijay Saraswat (Xerox PARC)
  82. Ralph Wachter (ONR)
  83. Donald Wagner (ONR)
  84.  
  85.  
  86. INVITED SPEAKERS (preliminary list):
  87. Alain Colmerauer (Univ. d'Aix Marseille)
  88. Herve Gallaire (Xerox Corporation)
  89.  
  90. PROGRAM COMMITTEE: 
  91. Alan Borning (Univ. of Washington, Seattle)     
  92. Jacques Cohen (Brandeis Univ.)
  93. David Dill (Stanford Univ.)            
  94. Johan de Kleer (Xerox PARC)
  95. Eugene Freuder (Univ. of New Hampshire)        
  96. John Hooker (CMU)
  97. Joxan Jaffar (IBM Watson)            
  98. Deepak Kapur (SUNY Albany)
  99. Paris Kanellakis (Brown Univ.)
  100. Dexter Kozen (Cornell Univ.)            
  101. Jean-Louis Lassez (IBM Watson)
  102. Jean-Claude Latombe (Stanford Univ.)            
  103. Nancy Lynch (MIT)
  104. David McAllester (MIT)                
  105. Albert Meyer  (MIT)
  106. Anil Nerode (Cornell Univ.)
  107. Fernando Pereira (AT&T Bell Labs)               
  108. Raghu Ramakrishnan (Univ. of Wisconsin, Madison)
  109. Vijay Saraswat (Xerox PARC)
  110. Pascal Van Hentenryck (Brown Univ.)
  111.  
  112. LOCAL ORGANIZATION:                          
  113. Pascal Van Hentenryck 
  114. Brown University            
  115. Dept. of Computer Science   
  116. Box 1910                
  117. Providence,                 
  118. RI 02912                    
  119. pvh@cs.brown.edu            
  120. tel: 401-863-7634
  121. fax: 401-863-7657                                    
  122.  
  123. IMPORTANT DATES: 
  124.     Deadline for submission:                   January  22, 1993
  125.     Notification of acceptance or rejection:   February 26, 1993
  126.     Final paper due:                           March 26, 1993
  127.     Workshop dates:                            April 28-30, 1993
  128.  
  129.  
  130.  
  131.