ARW 2008 (University of Birmingham, 30th-31st
July 2008)
The Fifteenth Workshop on Automated Reasoning was held at
University of Birmingham.
Complete information about the workshop is also available from the
ARW 2008 web
site at the University of Birmingham
Proceedings
-
Abstracts of contributed talks
[pdf]
Workshop Information
|