home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / parallel / 1929 < prev    next >
Encoding:
Text File  |  1992-08-17  |  2.9 KB  |  76 lines
  1. Newsgroups: comp.parallel
  2. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!paladin.american.edu!gatech!hubcap!fpst
  3. From: Jim Crammond <jimc@quintus.com>
  4. Subject: Call For Papers: ICLP '93
  5. Message-ID: <1992Aug18.111913.19360@hubcap.clemson.edu>
  6. Sender: fpst@hubcap.clemson.edu (Steve Stevenson)
  7. Organization: Clemson University
  8. Date: Mon, 17 Aug 92 17:22:53 PDT
  9. Approved: parallel@hubcap.clemson.edu
  10. Lines: 64
  11.  
  12.  
  13.             CALL FOR PAPERS - ICLP'93
  14.  
  15.  
  16.     TENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
  17.  
  18.                 Budapest, Hungary
  19.                 June 21 - 24, 1993
  20.  
  21.  
  22.     Sponsored by the Association of Logic Programming
  23.  
  24.  
  25. The 1993 International Conference on Logic Programming will be held on June
  26. 21-24, 1993, in historic Budapest. Logic Programming is one of the most
  27. promising approaches to declarative programming. It forms the theoretical
  28. basis of the programming language PROLOG and its extensions. Also, work in
  29. logic programming has contributed to several other areas: Artificial
  30. Intelligence where it has been used for nonmonotonic and commonsense
  31. reasoning, Expert Systems implementation, Deductive Databases and a variety
  32. of applications such as computer aided manufacturing. The technical program
  33. for the conference will include workshops, tutorials, invited lectures and
  34. presentations of refereed papers.
  35.  
  36. Papers are invited on any aspect of logic programming, including (but
  37. not limited to): 
  38.  
  39.    o Theory and foundations                o Applications
  40.    o Programming methodologies and tools   o Artificial intelligence
  41.    o Meta and higher-order programming     o Constraints
  42.    o Parallelism, concurrency              o Partial deduction
  43.    o Deductive databases                   o Bottom-up evaluation
  44.    o Implementations and architectures     o Compilation techniques
  45.  
  46.  
  47. Papers must be written in English and should not exceed 5000 words,
  48. excluding references. Papers should include a 200 word abstract and keywords
  49. to define a topic. Submitted papers (or any portion thereof) should not have
  50. been previously published or submitted to any journals, refereed conferences
  51. or workshops. Each accepted paper must be presented at the conference.
  52. Submit six (6) copies by December 1, 1992 to:
  53.  
  54. David S. Warren
  55. Department of Computer Science
  56. SUNY at Stony Brook
  57. Stony Brook, NY 11794-4400
  58. U.S.A.
  59. Email: warren@cs.sunysb.edu
  60. Fax: +1 516 632-8334
  61.  
  62. Notification will be made in early March 1993. The proceedings will be
  63. published by MIT Press. 
  64.  
  65.       Conference Chair: Peter Szeredi, IQSOFT, Hungary
  66.                         szeredi@iqsoft.hu
  67.          Program Chair: David S. Warren, SUNY at Stony Brook, USA
  68.                         warren@cs.sunysb.edu
  69.        Publicity Chair: Jim Crammond, Quintus, USA
  70.                         jimc@quintus.com
  71.   Workshop Coordinator: Mats Carlsson, SICS, Sweden
  72.                         matsc@sics.se
  73.     Local Organization: John von Neumann Society for Computing Sciences
  74.                         huug@neumann.hu
  75.  
  76.