11 - 12 August 2022, 8th Workshop on Practical Aspects of Automated Reasoning (PAAR 2022), Haifa, Israel
The automation of logical reasoning is a challenge that has been studied intensively in fields including mathematics, philosophy, and computer science. PAAR is the workshop on turning this theory into practice: how can automated reasoning tools be built that work and are useful in applications. PAAR covers all aspects of this challenge: which theories, logics, or fragments are well-behaved in practice, and connect well to application domains? which reasoning tasks are tractable and useful? which algorithms are able to solve real-world instances? how should automated reasoning tools be designed, implemented, tested, and evaluated? The goal of PAAR is to bring together theoreticians, tool developers, and users, to concentrate on the practical aspects of automated reasoning.
PAAR 2022 will be co-located with FLoC/IJCAR 2022 and host the meeting of the working group on Automated Theorem Provers of the EuroProofNet COST action.
The workshop welcomes high-quality contributions of any kind, including new research results, presentation of work in progress, presentation of Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages), excluding references, via EasyChair. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome. Submissions should be prepared in LaTeX using the EasyChair proceedings style. Topics: automated reasoning, implementation, tools.