Eighth Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice
University of York
March 22-23, 2001
This workshop will be held as part of the
AISB'01 Convention,
which is being organised by
AISB.
Information
[Homepage for Workshop Series] -
[ First Workshop, '94 ] -
[ Second Workshop, '95 ] -
[ Third Workshop, '96 ] -
[ Fourth Workshop, '97 ] -
[ Fifth Workshop, '98 ] -
[ Sixth Workshop, '99 ] -
[ Seventh Workshop, '00 ]