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