Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

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

Date: 19-20 April 2007
Location: London
Deadline: 16 March 2007

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

Abstract submission deadline: 16 March 2007 Deadline for student grants: 9 March 2007

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