Universiteit van Amsterdam

Institute for Logic, Language and Computation

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/

The websites of the UvA make use of cookies. More information Hide this message X