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
the European Network of Excellence in Computational Logic.
Complete information about the workshop is also available from the
1998 web site.
Abstrats of contributed talks
Statements of research interests
Call for papers and participation
Programme with timetable