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
Chair:
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
Chair:
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)
Chair:
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
Chair:
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
Chair:
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
Chair:
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:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event