Sixth Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice
University of Edinburgh
April 8-9, 1999
This workshop was held as part of the
AISB'99 Convention,
which was organised by
AISB.
Two sessions were shared with the
Symposium on AI and Scientific Creativity.
Financial support was received from
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 ] -
[ Fifth Workshop, '98 ] -
[ Seventh Workshop, '00 ]