Continuing the highly successful series of Workshops on Automated
Reasoning, this event will provide an informal forum for the automated
reasoning community. The workshop aims to bring together
researchers from all areas of automated reasoning in order to foster
links and facilitate cross-fertilisation of ideas among researchers
from various disciplines; among researchers from academia, industry
and government; and between theoreticians and practitioners.
Details of the ARW organisation and of previous ARW events can be
the ARW website.
|Abstract submission: || 31st March 2009|
|Notification of acceptance/rejection:
|| 3rd April 2009|
|Final version due: || 10th April 2009|
|Workshop: ||21st - 22nd April 2009|
To be announced.
Abstracts will be published in informal workshop notes and be made
available on the internet.
For information regarding the venue,
travel and accommodation
follow the links. If you have any additional questions,
please contact the local organisation chair,
U. Hustadt (Liverpool, England, UK).