FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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
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)
10:30-11:00Coffee Break
11:00-12:30 Session 125J
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
Location: Ullmann 205
14:00
Exploring Partial Models with SCL (abstract)
PRESENTER: Simon Schwarz
14:30
On SGGS and Horn Clauses (abstract)
15:00
Exploring Representation of Horn clauses using GNNs (abstract)
PRESENTER: Chencheng Liang
15:30-16:00Coffee Break
16:00-17:30 Session 131H
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
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
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