PAAR — PROGRAM
Days: Saturday, 25 July 2026
Saturday, 25 July 2026
09:00-10:00
Session 1
PAAR
Location:
C4.01
| 09:00-09:30 |
Case Study: Saturations as Explicit Models in Equational Theories (abstract) 30 min
1 Czech Technical University in Prague, CIIRC
2 University of Southampton
3 DHBW Stuttgart
|
| 09:30-10:00 |
Efficient Multi-Scale Indexing with Dynamic IntMaps (abstract) 30 min
1 DHBW Stuttgart
|
10:00-10:30
Coffee Break
PAAR
Location:
C4.01
10:30-12:00
Session 2
PAAR
Location:
C4.01
| 10:30-11:00 |
The TPTP Format for Interpretations (abstract) 30 min
1 University of Miami
2 University of Greifswald
3 University of Liège
4 Ludwig-Maximilians-Universität
|
| 11:00-11:30 |
The TPTP Format for Clausal Connection Tableaux (abstract) 30 min
1 University of Miami
2 University of Cambridge
|
| 11:30-12:00 |
Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem (abstract) 30 min
1 Otto-Friedrich-Universität Bamberg
2 Otto-Friedrich-Universität Bamberg and Freie Universität Berlin
|
12:00-13:30
Lunch
PAAR
Location:
C4.01
13:30-15:00
Session 3
PAAR
Location:
C4.01
| 13:30-14:00 |
A light-weight proof checker for TSTP refutations (abstract) 30 min
1 Université Paris-Saclay, University of Greifswald
2 University of Greifswald
|
| 14:00-14:30 |
GenZ: A Generic Sequent Calculus Prover using the Zipper (abstract) 30 min
1 Vrije Universiteit Amsterdam
2 University of Amsterdam
|
| 14:30-15:00 |
Satisfiability for Probability Modalities (abstract) 30 min
1 University of São Paulo
2 Artificial Intelligence Research Institute
3 Federal University of ABC
|
15:00-15:30
Coffee Break
PAAR
Location:
C4.01
15:30-17:00
Session 4
PAAR
Location:
C4.01
| 15:30-16:00 |
Bridging the gap: A complete axiomatization of Gregorian date arithmetic and scheduling logic for automated theorem provers (abstract) 30 min
1 Naval Postgraduate School
|
| 16:00-16:30 |
Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents (abstract) 30 min
1 AI4REASON
2 University of Melbourne, Australia
3 AI4REASON, University of Gothenburg and Chalmers University of Technology
|
| 16:30-17:00 |
Understandable Autoformalization with Felix (abstract) 30 min
1 AI4REASON and University of Bonn
2 AI4REASON
|