2002 AMS and MAA Spring Southeastern Section Meeting
Atlanta, GA , March 8-10, 2002
Meeting #975

Special Session on Automated Reasoning in Mathematics and Logic

Description: The practical value of powerful automated reasoning and proof verification programs for research in mathematics and logic is currently considerable and continues to accelerate. The purpose of this special session is to bring together some of the leading workers in this area to report on what is being done now and what can be reasonably expected in the near future. Papers may describe new results that have been proved, obstacles that stand in the way, and promising new techniques.


Corrected Program for the 4 sessions, and abstracts of the talks.

AMS Website: full program.

Travel and Accommodations

AMS link for local information

System maps for MARTA trains/buses. Turn the page sideways if you print it out. North avenue will then be near the bottom edge.
Skiles Classroom Building is on your left, two blocks walking north on Cherry Street.

Comments about locations of hotels.

Georgia tech campus maps and pictures of buildings.

Event Code: 2081:AMS SS S1
Johan G. F. Belinfante, Georgia Institute of Technology
email: belinfan@math.gatech.edu

Updated: 2002 February 22