ARW 1997 (University of Manchester, 7-8 April 1997)
The Fourth Workshop on Automated Reasoning was held as part of the
1997 AISB Workshop and Tutorial Series,
which was organised by
Financial support was received from
the European Network of Excellence in Computational Logic.
Complete information about the workshop is also available from the
1997 web site.
Call for papers and participation
List of participants
Photo of participants by Mark William Stracey