Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!usc!pollux.usc.edu!gasser From: gasser@pollux.usc.edu (Les Gasser) Newsgroups: comp.ai Subject: Demise of comp.ai.digest/ Social Processes & Proofs Message-ID: <22260@usc.edu> Date: 12 Jan 90 01:14:01 GMT Sender: news@usc.edu Lines: 62 2 things: 1) The article on program proofs and social processes that some were looking for is: Demillo, R., Lipton, R., and Perlis, A. "Social Processes and Proofs of Theorems and Programs," CACM, 22:5, May 1979, pages 271-280. It's a wonderful article. ---------------- 2) I'd also wondered what happened to comp.ai.digest and agree that its elimination should NOT have been a unilateral decision. I'd welcome its return. The list sent in the apologia was incomplete, at least in respect to Distributed AI; below is some information about another distribution list for DAI: > ---------------------------------------------------------------- > Date: Fri, 20 Oct 89 16:09 CDT > From: Michael N. Huhns > Reply-To: DAI-List@MCC.COM > Subject: Mailing List for DAI > To: DAI-List@MCC.COM > > I am starting a mailing list for distributed artificial intelligence. > The address for submissions to the list is DAI-List@mcc.com; the > address for administrative information about the list is > DAI-List-Request@mcc.com. > > The purposes of DAI-List will be to disseminate administrative > information about > 1) the next DAI Workshop (which I am hosting in Austin, Texas early next > fall), > 2) the submission of papers on DAI to AAAI-90 and other conferences, and > 3) DAI publications; > and to support occasional technical discussions about current issues and > results in DAI. I expect the message volume will be small. > > ... > > Cheers, > Michael Huhns > MCC > 3500 West Balcones Center Drive > Austin, TX 78759-6509 > (512) 338-3651 ---------------------------------------------------------------- -- Les Les Gasser Distributed Artificial Intelligence Group Dept. of Computer Science, SAL-200 USC Los Angeles, CA 90089-0782 USA Internet: gasser@pollux.usc.edu