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 ]