Fifth Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice
University of St. Andrews
March 30-31, 1998
This workshop 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.
Information
[Homepage for Workshop Series] -
[ First Workshop, '94 ] -
[ Second Workshop, '95 ] -
[ Third Workshop, '96 ] -
[ Fourth Workshop, '97 ] -
[ Sixth Workshop, '99 ] -
[ Seventh Workshop, '00 ]