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