1997 Fall Southeastern Sectional Meeting
Atlanta, GA , October 1719, 1997
Program of Two Sessions on Computer Proofs
Both sessions are in Skiles Classroom Building, Room 171.
Registration is in Skiles, Room 255.

Saturday October 18, 1997, 2:30 p.m.5:20 p.m.
Special Session on Computer Proofs in Set Theory and Logic
Organizer:
Johan G. F. Belinfante,
Georgia Institute of Technology
belinfan@math.gatech.edu

2:30 p.m.
The Emergence of Formalized Mathematics
Robert L. Constable*, Cornell University
(92603244)

3:00 p.m.
A Firstorder Logic Interactive Theorem Prover for Teaching Geometry
Richard D. Sommer*, Stanford University
Patrick Suppes, Stanford University
(92603249)

3:30 p.m.
Computer Proofs in Abstract Algebra
Kenneth Kunen*, University of Wisconsin
(92620109)

4:00 p.m.
On the decidability of word problems in quasivarieties.
David A. McAllester*, AT\&T Research
(92603245)

4:30 p.m.
The Comprehension Schema in Tableaux
Benjamin Price Shults*, Kenyon College
(92604102)

5:00 p.m.
Mizar  a proof assistant
Piotr Rudnicki*,
(92600155)

Sunday October 19, 1997, 9:00 a.m.11:20 a.m.
Special Session on Computer Proofs in Set Theory and Logic
Organizers:
Johan G. F. Belinfante,
Georgia Institute of Technology
belinfan@math.gatech.edu

9:00 a.m.
A set theory for mechanized mathematics
William M. Farmer*, St. Cloud State University
(92604103)

9:30 a.m.
Applications of Set Theoretic Reasoning in Automated Deduction
Robert L Veroff*, University of New Mexico
(92668101)

10:00 a.m.
Automated Equational Deduction
William McCune*,
Mathematics and Computer Science Division, Argonne National Laboratory
(92603176)

10:30 a.m.
Instancebased Deduction Techniques for Set Theory
David A Plaisted*, UNCChapel Hill
Yunshan Zhu, UNCChapel Hill
(92603239)

11:00 a.m.
Experimenting with OTTER
Thomas Jech*,
(9260312)
Evans Harrell has set up a
local website for general information about the conference.
Updated: 1997 October 17.