Workshop on Automated Reasoning

Workshop on Automated Reasoning

Bridging the Gap between Theory and Practice

Until the 2001 workshop, the web pages for this workshop series were maintained by Alan Frisch at this URL. The workshop's web pages are now maintained by Ulle Endriss and are located at

http://www.dcs.kcl.ac.uk/staff/endriss/ARW/

Related Information

The Web Forum of the Automated Reasoning Research Area contains information of use to those both inside and outside of the research area. It is intentionally biased towards automated reasoning in the UK.
Information for organizersizers of the Automated Reasoning Workshop