Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site ucbvax.UUCP
Path: utzoo!linus!decvax!ucbvax!daemon
From: daemon@ucbvax.UUCP
Newsgroups: fa.arpa-bboard
Subject: U. Texas Demos at AAAI
Message-ID: <1494@ucbvax.UUCP>
Date: Thu, 2-Aug-84 17:22:13 EDT
Article-I.D.: ucbvax.1494
Posted: Thu Aug  2 17:22:13 1984
Date-Received: Fri, 3-Aug-84 02:40:51 EDT
Sender: daemon@ucbvax.UUCP
Organization: U.C. Berkeley
Lines: 22

From GSB@MIT-MC  Thu Aug  2 14:21:49 1984
The University of Texas at Austin will hold an open house and series of
demonstrations during AAAI-84.  The demonstrations will be from 7-9 PM
on Tuesday, August 7.  The demonstrations are not listed in the conference
schedule, but a brochure describing them and showing where they are located
will be provided in the registration packet.  Bus service will be provided.
The demonstrations will include:

J. K. Aggarwal                 Laboratory for Image and Signal Analysis
R. S. Boyer, J S. Moore        The Boyer-Moore Theorem Prover
Shang-Ching Chou               Geometry Provers Based on Wu's Algorithm
Larry Hines                    Inequality Theorem Prover
W. Lehmann, O. Gajek,          METAL German-to-English Machine Translation
  J. Slocum, J. White, B. Root
Robert Levinson                A Self-Organizing Retrieval System for Graphs
Gordon Novak                   GLISP Language and GEV Data Inspector
Gordon Novak                   ISAAC Physics Problem Solver
Elaine Rich, William Murray    Automatic Debugging System for LISP
Robert F. Simmons, Chin Chee   Device Simulation
Robert F. Simmons              An English to Horn Clause Translation System
-------