Tech Reports

ULCS-09-007

Proceedings of the Automated Reasoning Workshop 2009: Bridging the Gap between Theory and Practice (ARW 2009)

Ullrich Hustadt (Editor)

Abstract

This volume contains the proceedings of ARW 2009, the sixteenth Workshop on Automated Reasoning, held 21st-22nd April 2009, in Liverpool, England (UK). As for the previous events in this series, this workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and current trends. It 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 each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.