April 2021 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Thu Apr 1 16:47:29 CEST 2021
Ending: Sun Apr 25 00:29:49 CEST 2021
Messages: 9

• [Proof Complexity] Call for Tutorials and Workshops: FroCoS 2021 & TABLEAUX 2021. 6-10 September, 2021. Birmingham, UK.   anupamdotdas at gmail.com
• [Proof Complexity] a new preprint   Jan Krajicek
• [Proof Complexity] CANCELLED [Fw: Seminar Fri Apr 16 at 14:00 CET with Daniel Dadush: On the complexity of branching proofs]   Jakob Nordström
• [Proof Complexity] Seminar Mon Apr 26 at 14:00 CET with Ben Lee Volk: Recent lower bounds in algebraic complexity theory   Jakob Nordström
• [Proof Complexity] Seminar Fri Apr 23 at 14:00 CET with Daniel Dadush: On the complexity of branching proofs   Jakob Nordström
• [Proof Complexity] Seminar Mon May 10 at 14:00 CET with Noah Fleming: On the complexity of branch and cut   Jakob Nordström
• [Proof Complexity] TABLEAUX 2021 – Final Call for Papers. **Extended deadlines**. 6-9 September, 2021. Birmingham, UK.   anupamdotdas at gmail.com
• [Proof Complexity] Seminar Wed Apr 28 at 15:00 CET with Amir Yehudayoff: Slicing the hypercube is not easy   Jakob Nordström
• [Proof Complexity] Prague seminar on Monday - Raheleh Jalali   thapen

Last message date: Sun Apr 25 00:29:49 CEST 2021
Archived on: Sun Apr 25 00:29:54 CEST 2021

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...