October 2021 Archives by thread

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

Starting: Fri Oct 1 14:38:08 CEST 2021
Ending: Thu Oct 28 23:18:12 CEST 2021
Messages: 9

• [Proof Complexity] Seminar Fri Oct 22 at 14:00 CEST with Magnus Myreen: Verified proof checkers   Jakob Nordström
• [Proof Complexity] Seminar Mon Oct 25 at 14:00 CEST with Robert Robere: Proof complexity lower bounds by composition   Jakob Nordström
• [Proof Complexity] Seminar Monday Nov 8 at 14:00 CET with Sajin Koroth: Lifting with inner-product and other low discrepancy gadgets   Jakob Nordström
• [Proof Complexity] Seminar Fri Nov 12 at 14:00 CET with Nutan Limaye: Superpolynomial lower bounds against low-depth algebraic circuits   Jakob Nordström
• [Proof Complexity] position in Prague   krajicek at karlin.mff.cuni.cz
• [Proof Complexity] new paper   Jan Pich
• [Proof Complexity] PhD Positions at Imperial College London in Complexity (deadline: 8th Dec 2021)   Iddo Tzameret
• [Proof Complexity] Postdoc positions in combinatorial optimization in Copenhagen   Jakob Nordström
• [Proof Complexity] PhD positions in TCS and combinatorial optimization in Copenhagen   Jakob Nordström

Last message date: Thu Oct 28 23:18:12 CEST 2021
Archived on: Thu Oct 28 23:18:19 CEST 2021

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