19-20 April 2007, Automated Reasoning Workshop 2007, London

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.

For more information, see http://www.doc.ic.ac.uk/crg/events/ARW07/.