| Vol-2162 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|