
AMS Sectional Meeting Program by Special Session
Current as of Tuesday, April 12, 2005 15:09:41
Program 
Deadlines 
Registration/Housing/Etc. 
Inquiries: meet@ams.org
1997 Fall Southeastern Sectional Meeting
Atlanta, GA, October 1719, 1997
Meeting #926
Associate secretaries: Robert J Daverman, AMS daverman@math.utk.edu
Special Session on Computer Proofs in Set Theory and Logic

Saturday October 18, 1997, 2:30 p.m.5:20 p.m.
Special Session on Computer Proofs in Set Theory and Logic, I
Room 171, Skiles Classroom Building Organizers: 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, II
Room 171, Skiles Classroom Building 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)
Inquiries: meet@ams.org

