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]

We invite interested persons to submit a camera-ready two-page abstract about recent work or work in progress, or a system description. Anyone wishing to attend but not interested in presenting should send a shorter position statement (1/2 - 1 page).

Submissions should be sent in either Postscript or PDF, A4 format by email to:

Each submission should include the names and complete addresses (including email) of all authors. Correspondence will be sent to the first author, unless otherwise indicated. The main objective of the abstracts is to spread information about recent work in our community. Abstracts will be published in informal workshop notes and be made available on the web.