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.

Proceedings

  • Invited Talks
    [html]
  • Abstrats of contributed talks
    [html]
  • Statements of research interests
    [html]

Workshop Information

  • Call for papers and participation
    [html]
  • Programme with timetable
    [html]
  • Workshop organisers
    [text]
 
 
 

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