ARW 1995 (University of Sheffield, 4 April 1995)

The Second Workshop on Automated Reasoning was held as part of the workshop series affiliated with The Tenth Biennial Conference on AI and Cognitive Science, which was organised by AISB. Financial support was received from Compulog Net, the European Network of Excellence in Computational Logic.

Proceedings

• Table of contents of the working notes
  [postscript]  
• Abstract of invited talk by Wolfgang Bibel
  [postscript]
• Final report by Andrew Ireland
  [postscript]  

Workshop Information

• Call for papers
  [text]
• Programme with timetable
  [postscript]  
• List of participants
  [postscript]  
• Workshop organisers
  [text]