PaPS accepted papers

Regular papers

Koen Claessen, Safelogic AB, Sweden; Reiner Hähnle, Chalmers U of Techn., Sweden; and Johan Mårtensson, Safelogic AB, Sweden
Verification of hardware systems with first-order logic

Zac Ernst, U Wisconsin-Madison, USA et al.
More first-order test problems in math and logic

Jieh Hsiang, Yuh Pyng Shieh, and YaoChinag Chen; National Taiwan U, Taiwan
The cyclic complete mapppings counting problems

John Slaney, Australian National U
A benchmark template for substructural logics

Jürgen Zimmer, Saarland U, Germany; Andreas Franke, Saarland U, Germany; Simon Colton, U Edinburgh, UK; and Geoff Sutcliffe, U Miami, USA
Integrating HR and tptp2X into MathWeb to compare automated theorem provers