7:00 p.m. Some adventures with automatic theorem proving. Woodrow W. Bledsoe*, University of Texas, Austin
(863-68-433)
7:30 p.m. A theorem prover for a computational logic. Robert S. Boyer*, University of Texas, Austin
J. Strother Moore, Computational Logic, Inc. Austin, Texas
(863-03-380)
8:00 p.m. Mechanical geometry theorem proving using algebraic methods. Shang-Ching Chou*, University of Texas, Austin
(863-68-376)
8:30 p.m. Is automated theorem proving for you? Ewing Lusk*, Argonne National Laboratory, Argonne, Illinois
(863-68-334)