PAAR-2010: Editor's Preface

This volume contains the papers presented at PAAR-2010: The Second Workshop on Practical Aspects of Automated Reasoning, held on July 14, 2010 as part of FLoC in Edinburgh, Scotland.

PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. The workshop concentrates on practical issues faced when developing and deploying automated reasoning systems. The 2010 meeting was the second instance of PAAR, after the successful first workshop held in conjunction with IJCAR-2008 in Sydney, Australia.

There were 11 submissions. Each submission was reviewed by 4 program committee members. The committee decided to accept 9 papers. The program also included two invited talks: `Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers' by Larry Paulson and Jasmin Christian Blanchette, and `Vampire: the New Blood' by Andrei Voronkov.

We thank our authors and participants for their interest, and our highly qualified committee for their help in putting together the program.