PAAR PROGRAM
Days: Thursday, August 11th Friday, August 12th
Thursday, August 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 120F
Chair:
Location: Ullmann 205
09:00 | Training ENIGMAs, CoPs, and other thinking creatures (abstract) |
10:00 | QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers (abstract) PRESENTER: Maximilian Heisinger |
10:30-11:00Coffee Break
11:00-12:30 Session 125J
Chair:
Location: Ullmann 205
11:00 | A Two-Watched Literal Scheme for First-Order Logic (abstract) PRESENTER: Lorenz Leutgeb |
11:30 | Lazy Paramodulation in Practice (abstract) PRESENTER: Cezary Kaliszyk |
12:00 | Empirical Properties of Term Orderings for Superposition (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 127J
Chair:
Location: Ullmann 205
14:00 | Exploring Partial Models with SCL (abstract) PRESENTER: Simon Schwarz |
14:30 | On SGGS and Horn Clauses (abstract) PRESENTER: Maria Paola Bonacina |
15:00 | Exploring Representation of Horn clauses using GNNs (abstract) PRESENTER: Chencheng Liang |
15:30-16:00Coffee Break
16:00-17:30 Session 131H
Chair:
Location: Ullmann 205
16:00 | Optimal Strategy Schedules for Everyone (abstract) |
16:30 | The Vampire Approach to Induction (abstract) PRESENTER: Marton Hajdu |
17:00 | Reuse of Introduced Symbols in Automatic Theorem Provers (abstract) PRESENTER: Michael Rawson |
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
Friday, August 12th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 134B
Location: Taub 7
09:00 | The Logic Languages of the TPTP World and Proofs and Models in the TPTP World (abstract) |
10:00 | Automated Reasoning in Non-classical Logics in the TPTP World (abstract) PRESENTER: Alexander Steen |
10:30-11:00Coffee Break
11:00-12:30 Session 137C
Chair:
Location: Taub 7
11:00 | Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving (abstract) |
11:30 | An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (abstract) |
12:00 | The Isabelle Community Benchmark (abstract) PRESENTER: Fabian Huch |
12:30-14:00Lunch Break
Lunches will be held in Taub hall.
14:00-15:35 Session 138C
Chair:
Location: Taub 7
14:00 | short COST action EuroProofNet introduction |
14:05 | EuroProofNet presentation on proofs in Dedukti |
14:50 | EuroProofNet presentation on SMT and proofs |
15:30-16:00Coffee Break
16:00-16:45 Session 139C: Update on Proof Standardization (Joint Session with PAAR) (joint with SMT)
Chair:
Location: Taub 7
16:00 | SMT Proof Standardization Update |