News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

3-4 April 2006, Thirteenth Workshop on Automated Reasoning, University of Bristol, Bristol, England

Date: 3-4 April 2006
Location: University of Bristol, Bristol, England
Deadline: 10 February 2006

Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The ARW workshop series 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.

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).

Deadline for submission of papers is February 10th, 2006. For more information, see here, http://www.csc.liv.ac.uk/~clare/ARW/about.html or http://www.cs.nott.ac.uk/~mxw/arw06/

Please note that this newsitem has been archived, and may contain outdated information or links.