The 12th Workshop on Automated
Reasoning
Bridging the gap between theory and practice
29th and 30th July 2005
[Home
Page] [Previous
Workshops] [Call for Papers]
[Guide for Authors]
[Programme]
[Related Event] [How to Get There] [Weather and Tourism] [Registration] [Accommodation]
[Sponsors] [Student Bursaries]
Accommodation for ARW 2005
The National e-Science Centre will advise on and book accommodation
(if needed) as part of the registration process for ARW 2005.