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
- ARW
Complete information about the workshop is also available from the
ARW 2013 web
site at the University of Dundee.
Proceedings
-
Titles of abstracts of contributed talks
[text]
-
Proceedings of the 20th Automated Reasoning Workshop
[html]
Workshop Information
|