PAAR 2022
Practical Aspects of Automated Reasoning 2022

Proceedings of the Workshop on Practical Aspects of Automated Reasoning
Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022)

Haifa, Israel, August, 11 - 12, 2022.

Edited by

Boris Konev *
Claudia Schon **
Alexander Steen ***

* University of Liverpool, Department of Computer Science, Liverpool, UK
** University of Koblenz, Institute for Web Science and Technologies, Koblenz, Germany
*** University of Greifswald, Institute of Mathematics and Computer Science, Greifswald, Germany

Table of Contents

Session 1:

Session 2:

Session 3:

Session 4:

Session 5:

Session 6:

2022-08-05: submitted by Claudia Schon, metadata incl. bibliographic data published under Creative Commons CC0
2022-08-31: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|