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]


The registration process is handled by the National e-Science Centre. Click here to register.