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 ]