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 AISB. Financial support was received from Compulog Net, the European Network of Excellence in Computational Logic. Complete information about the workshop is also available from the ARW 1997 web site.

Proceedings

• Abstract of invited talk by Raymond Reiter
  [text]
• Final report by Michael Fisher
  [postscript]   [text]
• Final report by Louise Dennis, Alan Bundy, and Helen Lowe
  [postscript]   [dvi]   [latex source]

Workshop Information

• Call for papers and participation
  [html]   [text]
• List of participants
  [text]
• Photo of participants by Mark William Stracey
  [tiff]
• Workshop organisers
  [text]