PAAR 2026
Practical Aspects of Automated Reasoning 2026

Table of Contents

• Preface
  Summary: There were 13 papers submitted for peer-review to this workshop. Out of these, 10 papers were accepted for this volume 5 as regular papers and 5 as short papers.

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