Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 1998 (University of St. Andrews, 30-31 March 1998)

The Fifth Workshop on Automated Reasoning was co-located with and immediately prior to the Fourteenth British Colloquium for Theoretical Computer Science. The two events shared the morning sessions on March 31. Financial support was received from the UK Engineering and Physical Sciences Research Council and Compulog Net, the European Network of Excellence in Computational Logic.


  • Invited Talks
  • Abstrats of contributed talks
  • Statements of research interests

Workshop Information

  • Call for papers and participation
  • Programme with timetable
  • Workshop organisers

last modified on Friday, 15-Apr-2005 13:42:21 BST