Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice (with IJCAI 2005) (2005)
Website: https://www.inf.ed.ac.uk/events/conferences/arw-05/
Dates: 29 Jul - 30 Jul
City: Edinburgh
Host institution: School of Informatics, University of Edinburgh