PAAR 2018
Practical Aspects of Automated Reasoning

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning
co-located with Federated Logic Conference 2018 (FLoC 2018)

Oxford, UK, July 19th, 2018.

Edited by

Boris Konev, University of Liverpool, UK
Josef Urban, Czech Technical University in Prague, Czech Republic
Philipp Rümmer, Uppsala University, Sweden

Table of Contents

Invited Talk

Contributed Talks

The proceedings volume can also be downloaded as a single ZIP file. We offer a BibTeX file for citing papers of this workshop from LaTeX.

2018-08-14: submitted by Boris Konev, metadata incl. bibliographic data published under Creative Commons CC0
2018-08-14: published on CEUR-WS.org |valid HTML5|