ARW 2013 (University of Dundee on 11-12th April 2013)
The Twentieth Workshop on Automated Reasoning was held at
University of Dundee.
Support was received from the
- The Scottish Informatics and Computer Science Alliance
- British Logic Colloquium
Complete information about the workshop is also available from the
ARW 2013 web
site at the University of Dundee.
Titles of abstracts of contributed talks
Proceedings of the 20th Automated Reasoning Workshop