Original: https://ceur-ws.org/Vol-4241/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-4241/ | Year: 2026

Vol-4241
urn:nbn:de:0074-4241-x

Copyright © 2026 for the individual papers by the papers' authors. Copyright © 2026 for the volume as a collection by its editors. This volume and its papers are published under https://creativecommons.org/licenses/by/4.0/.

PAAR 2026

Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR 2026)
co-located with FLoC 2026

Lisbon, Portugal, July 25, 2026.

Edited by

Márton Hajdu
Cláudia Nalon
Martin Suda

Table of Contents

PDF
The TPTP Format for Interpretations PDF
Geoff Sutcliffe, Alexander Steen, Pascal Fontaine, Lydia Kondylidou
Efficient Multi-Scale Indexing with Dynamic IntMaps PDF
Albert Eisfeld, Stephan Schulz
A light-weight proof checker for TSTP refutations PDF
Melanie Taprogge, Happy Sariyanto, Alexander Steen
The TPTP Format for Clausal Connection Tableaux PDF
Geoff Sutcliffe, Sean B. Holden, Mantas Baksys
Bridging the gap: A complete axiomatization of Gregorian date arithmetic and scheduling logic for automated theorem provers PDF
Adam Pease, Pantelimon Stănică
GenZ: A Generic Sequent Calculus Prover using the Zipper PDF
Xiaoshuang Yang, Malvin Gattinger, Marianna Girlando, Patrick Koopmann
Satisfiability for Probability Modalities PDF
Marcelo Finger, Tommaso Flaminio, Lluís Godo, Felip Manyà, Sandro Preto
Case Study: Saturations as Explicit Models in Equational Theories PDF
Mikoláš Janota, Michael Rawson, Stephan Schulz
Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem PDF
Johannes Schuster, David Fuenmayor, Christoph Benzmüller
Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents PDF
Chad E. Brown, Cezary Kaliszyk, Josef Urban

2026-08-20: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|