Vol-2161⫷ Vol-2162 ⫸Vol-2163
urn:nbn:de:0074-2162-4

Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

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

Preface

Invited Talk

The CakeML Verified Compiler and Toolchain 1 - 1
Magnus O. Myreen

Contributed Talks

Set of Support for Higher-Order Reasoning 2 - 16
Ahmed Bhayat , Giles Reger
Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs 17 - 33
Gabriel Ebner , Matthias Schlaipfer
Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics 34 - 48
Ullrich Hustadt , Cláudia Nalon , Clare Dixon
Proof Search Optimizations for Non-Clausal Connection Calculi 49 - 57
Jens Otten
Dynamic Strategy Priority: Empower the Strong and Abandon the Weak 58 - 71
Michael Rawson , Giles Reger
TFX: The TPTP Extended Typed First-Order Form 72 - 87
Geoff Sutcliffe , Evgenii Kotelnikov
A Verified Simple Prover for First-Order Logic 88 - 104
Jørgen Villadsen , Anders Schlichtkrull , Andreas Halkjær From

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 |