Seventh Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice
King's College, London
July 20-21, 2000
This workshop is being held in the week before
the
First International
Conference on Computational Logic,
and the
Tenth International Conference on Inductive Logic Programming,
both of which take place at Imperial College, London.
Information
[Homepage for Workshop Series] -
[ First Workshop, '94 ] -
[ Second Workshop, '95 ] -
[ Third Workshop, '96 ] -
[ Fourth Workshop, '97 ] -
[ Fifth Workshop, '98 ] -
[ Sixth Workshop, '99 ]