Vol-3201
urn:nbn:de:0074-3201-6




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|