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.
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
Organizer:
Johan G. F. Belinfante,
Georgia Institute of Technology
email: belinfan@math.gatech.edu
Updated: 2002 February 22