September 2022 Archives by thread

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

Starting: Fri Sep 2 19:57:50 CEST 2022
Ending: Wed Sep 28 08:12:48 CEST 2022
Messages: 7

• [Proof Complexity] Preprint   Emil Jerabek
• [Proof Complexity] New paper on Bounded Arithmetic and Pigeonhole Principle   Mykyta Narusevych
• [Proof Complexity] Tenure-track assistant or associate professorship in complexity theory in Copenhagen   Jakob Nordström
• [Proof Complexity] MIAO seminar Mon Sep 19 at 14:00 CET with Ilario Bonacina: On vanishing sums of roots of unity in polynomial calculus and sum-of-squares   Jakob Nordström
• [Proof Complexity] MIAO seminar Friday Sep 30 at 14:00 CET with Albert Atserias: Towards an algorithmic theory of proof complexity   Jakob Nordström
• [Proof Complexity] Seminar Tue Oct 4 at 14:00 CET with Robert Andrews: Matrix multiplication and polynomial identity testing   Jakob Nordström
• [Proof Complexity] Seminar Wednesday Oct 5 at 14:00 CET with Susanna F. de Rezende: Theoretical barriers for efficient proof search   Jakob Nordström

Last message date: Wed Sep 28 08:12:48 CEST 2022
Archived on: Wed Sep 28 08:14:30 CEST 2022

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