FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PAAR 2022 PROGRAM

Days: Thursday, August 11th Friday, August 12th

Thursday, August 11th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 92D
09:00
TBA
10:00
QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 95F
11:00
A Two-Watched Literal Scheme for First-Order Logic (abstract)
11:30
Lazy Paramodulation in Practice (abstract)
12:00
Empirical Properties of Term Orderings for Superposition (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 97F
14:00
Exploring Partial Models with SCL (abstract)
14:30
On SGGS and Horn Clauses (abstract)
15:00
Exploring Representation of Horn clauses using GNNs (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 98F
16:00
Optimal Strategy Schedules for Everyone (abstract)
16:30
The Vampire Approach to Induction (abstract)
17:00
Reuse of Introduced Symbols in Automatic Theorem Provers (abstract)
18:00-19:30Workshop Dinner (at the Technion) - Paid event
Friday, August 12th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
11:00-12:30 Session 103C
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)
12:30-14:00Lunch Break
14:45-15:30 Session 105
14:45
EuroProofNet presentation on SMT and proofs
15:30-16:00Coffee Break
16:00-16:45 Session 106B
16:00
EuroProofNet presentation on proofs in Dedukti