TPTPTP — PROGRAM
Days: Friday, 24 July 2026
Friday, 24 July 2026
09:00-10:30
Recording proofs
TPTPTP
Session Chair:
Location:
C2.05
| 09:00-09:30 |
What is an Acceptable Proof? (abstract) 30 min
1 University of Miami
|
| 09:30-10:00 |
Recording and Verifying Skolemizations (abstract) 30 min
1 University of Miami
|
| 10:00-10:30 |
Recording and Verifying Interferences (abstract) 30 min
1 CTU
2 University of Southampton
3 CIIRC
|
10:30-11:00
Coffee Break
TPTPTP
Location:
C2.05
11:00-12:30
Proof expectations
TPTPTP
Session Chair:
Location:
C2.05
| 11:00-11:30 |
Layers of Proof Expectations for CASC (abstract) 30 min
1 University of Miami
|
| 11:30-12:00 |
Layers of Proof Expectations for ProoVer (abstract) 30 min
1 Loria, University of Lorraine & Inria
2 EPFL - Swiss Federal Technology Institute of Lausanne
|
12:30-14:00
Lunch
TPTPTP
Location:
C2.05
14:00-15:30
New TPTP Formats
TPTPTP
Session Chair:
Location:
C2.05
| 14:00-14:30 |
The TPTP Format for Clausal Connection Tableaux (abstract) 30 min
1 University of Cambridge
|
| 14:30-15:00 |
The TPTP Format for Interpretations (abstract) 30 min
1 University of Miami
|
| 15:00-15:30 |
Towards a TPTP Format for Answers (abstract) 30 min
1 University of Miami
2 CTU
3 CIIRC
|
15:30-16:00
Coffee Break
TPTPTP
Location:
C2.05