Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2005 (University of Edinburgh/National e-Science Centre, 29-30th July 2005)

The Twelfth Workshop on Automated Reasoning was co-located with IJCAI 2005. Financial support was received from The National e-Science Centre; the School of Informatics, University of Edinburgh; the Centre for Intelligent Systems and their Applications, School of Informatics, University of Edinburgh; SymNet, an EPSRC-funded network; and the British Logic Colloquium. Complete information about the workshop is also available from the ARW 2005 web site at the University of Edinburgh.

Workshop Information


last modified on Wednesday, 03-Aug-2005 16:30:31 BST