Tech Reports


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

Ullrich Hustadt (Editor)


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.

[Full Paper]