This volume contains the papers presented at the Eighth Workshop on Practical Aspects of Automated Reasoning (PAAR-2022). The workshop was held on August 11-12, 2022 in association with the Federated Logic Conference (FLoC) / International Joint Conference on Automated Reasoning (IJCAR 2022) in Haifa, Israel. PAAR provides a forum for developers of automated reasoning tools to discuss and compare diferent implementation techniques, and for users to discuss and communicate their applications and requirements. The workshop will bring together diferent groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications. The purpose of PAAR is to help the community understand how to build useful and powerful reasoning systems in practice, and how to apply existing systems to real problems. PAAR 2022 received fifteen submissions. Each submission was reviewed by at least three program committee members. Fourteen papers were accepted for presentation over two days, 11 as regular papers. The final workshop session has been co-located with the European Research Network on Digital Proofs (EuroProofNet) Working Group 2 kickof meeting. The aim of WG 2 is to promote the output of detailed, checkable proofs from automated theorem provers. The PAAR and workshop organisers would like to thank the authors and participants the workshop for making this very successful event possible. Our thanks also go to the program committee members and the external reviewers for their considerable efort to provide thorough and constructive reviews. As in all years, we are indebted to the EasyChair team for the unfailing availability of the EasyChair Conference System. We are grateful to the CEUR team for publishing our proceedings. We thank the WG 2 of the COST action EuroProofNet for the collaboration.
Simon Cruanes Hans de Nivelle Gabriel Ebner Pascal Fontaine Ulrich Furbach Cezary Kaliszyk Boris Konev (co-chair) Daniel Le Berre Ondrej Lengal Tomer Libal Cláudia Nalon Jens Otten Philipp Ruemmer Renate A. Schmidt Claudia Schon (co-chair) Stephan Schulz Mihaela Sighireanu Alexander Steen (co-chair) Frieder Stolzenburg Martin Suda Sophie Tourret Petar Vukmirović Sarah Winkler
Aleksandar Zeljić Additional reviewers Abdelhamid Abidi Filip Bártek Jan Jakubuv Ullrich Hustadt