ARW 2007 (Imperial College, London, 19-20th
April 2007)
The Fourteenth Workshop on Automated Reasoning was held at
Imperial College, London.
Financial support
was received from the
SymNet Network.
Complete information about the workshop is also available from the
ARW 2007 web
site at Imperial College, London.
Proceedings
-
Abstracts of contributed talks
(not available)
Workshop Information
|