FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PC PROGRAM

Days: Sunday, July 31st Monday, August 1st

Sunday, July 31st

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

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 14K
Location: Ullmann 309
14:00
Towards higher order proof complexity (abstract)
PRESENTER: Anupam Das
14:30
Proof complexity of CSP (abstract)
15:00
Proof complexity of natural formulas via communication arguments (abstract)
PRESENTER: Dmitry Itsykson
15:30-16:00Coffee Break
16:00-17:30 Session 19I
Location: Ullmann 309
16:00
Strong proof systems based on algebraic circuits (abstract)
17:00
On combinatorial principles coming from semi-algebraic proof systems
Monday, August 1st

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

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26E: Joint QBF Session (joint with QBF)
Location: Ullmann 309
09:00
QBF Solvers and their Proof Systems (abstract)
10:00
QCDCL with Cube Learning or Pure Literal Elimination – What is best? (abstract)
PRESENTER: Benjamin Böhm
10:30-11:00Coffee Break
11:00-12:30 Session 31H: Joint QBF Session
Location: Ullmann 309
11:00
Strategy Extraction and Proof
12:00
QCDCL with Cube Learning or Pure Literal Elimination – What is best? (II)
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 34I
Location: Ullmann 309
14:00
Hard Inputs from Kolmogorov Randomness---Can Merlin Tame Open Problems? (abstract)
14:30
Simulations between proof systems (abstract)
15:00
Are Hitting Formulas Hard for Resolution? (abstract)
PRESENTER: Tomáš Peitl
15:30-16:00Coffee Break
16:00-17:30 Session 37I
Location: Ullmann 309
16:00
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares (abstract)
PRESENTER: Ilario Bonacina
17:00
Exponential separations using guarded extension variables (abstract)
PRESENTER: Emre Yolcu
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event