PC ON SUNDAY, JULY 13TH: TALK VIEW

Days:

previous day

all days

View: with abstracts session overview side by side with other conferences

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

09:15-09:45

Quasipolynomial Size Frege Proofs of Frankl's Theorem on the Trace of Finite Sets

James Aisenberg, Maria Bonet, Sam Buss

09:45-10:15

n^O(log log n) size monotone proofs of the weak pigeonhole principle

Anupam Das

10:45-11:45

Weak Pigeonhole Principles, Circuits for Approximate Counting, and Bounded-Depth Proofs

Albert Atserias

12:00-12:30

Total Space in Resolution

Ilario Bonacina, Nicola Galesi, Neil Thapen

12:30-13:00

From Small Space to Small Width in Resolution

Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals

14:30-15:30

Are matrix identities hard instances for strong proof systems?

Iddo Tzameret

15:30-16:00

Lower bounds for splittings by linear combinations

Dmitry Itsykson, Dmitry Sokolov

16:30-17:00

Narrow Proofs May Be Maximally Long

Albert Atserias, Massimo Lauria, Jakob Nordström

17:00-17:30

Parity games and propositional proofs

Neil Thapen, Arnold Beckmann, Pavel Pudlák

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break