Path: utzoo!attcan!uunet!husc6!think!bloom-beacon!XEROX.COM!jlevy.pa
From: jlevy.pa@XEROX.COM
Newsgroups: comp.ai.digest
Subject: New mailing list
Message-ID: <19880620011632.2.NICK@INTERLAKEN.LCS.MIT.EDU>
Date: 20 Jun 88 01:16:00 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 40
Approved: ailist@ai.ai.mit.edu

Date: Fri, 17 Jun 88 16:56 EDT
From: jlevy.pa@Xerox.COM
Subject: New mailing list
To: ailist@ai.ai.mit.edu, prolog@Polya.Stanford.EDU

CLP.X@XEROX.COM

   Coordinator: Jacob Levy <jlevy.pa@xerox.com>

   Unmoderated, direct-redistribution mailing list devoted to discussion of
   the following topics (among others):

	* Concurrent logic programming languages
	  - Problematic constructs
	  - Comparisons between languages
	* Concurrent constraint programming languages
	  - Constraint solvers, including those for discrete constraint
	    satisfaction
	  - Language issues
	* Semantics, proof techniques and program transformations
	  - Partial evaluation
	  - Meta interpretation
	  - Embedded languages
	* Parallel Prolog systems
	  - Restricted And-parallel
	  - Or-parallel Prolog
	* Implementations
	  - Announcement of software packages
	  - Reports on performance
	  - Issues in implementation
	* Programming techniques and idioms, applications
	  - Open systems and distributed computation
	  - Small demonstration programs
	* Seminars, conferences, trip reports etc. related to the above
   
   All requests to be added to or deleted from this list, problems, questions,
   etc., should be sent to clp-request.x@xerox.com or to jlevy.pa@xerox.com.

   All messages will be archived and can be obtained on request from the list
   coordinator.