March 2021 Archives by thread

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

Starting: Tue Mar 9 09:34:09 CET 2021
Ending: Wed Mar 31 21:47:43 CEST 2021
Messages: 11

• [Proof Complexity] PhD program   krajicek at karlin.mff.cuni.cz
• [Proof Complexity] Simons 50 Years of SAT: Richard Karp and Avi Wigderson talks   Sam Buss
• [Proof Complexity] Dmitry Itsykson seminar on Monday   thapen
• [Proof Complexity] assoc.prof. position in Prague   krajicek at karlin.mff.cuni.cz
• [Proof Complexity] Simons Workshop: Amin Coja-Oghlan talk   Sam Buss
• [Proof Complexity] J. Krajicek and S. de Rezende talks - 50 Years of SAT workshop   Sam Buss
• [Proof Complexity] Barnaby Martin seminar on Monday   thapen
• [Proof Complexity] TABLEAUX 2021 - 2nd Call for Papers. 6-9 September, 2021. Birmingham, UK.   anupamdotdas at gmail.com
• [Proof Complexity] Reminder: Postdocs & PhD Studentships in Complexity at Imperial College London:   Iddo Tzameret
• [Proof Complexity] Seminar Thu Apr 8 14:00 CET with Dmitry Sokolov: (Semi)Algebraic proofs over {±1} variables   Jakob Nordström
• [Proof Complexity] Seminar Fri Apr 16 at 14:00 CET with Daniel Dadush: On the complexity of branching proofs   Jakob Nordström

Last message date: Wed Mar 31 21:47:43 CEST 2021
Archived on: Thu Apr 1 16:41:23 CEST 2021

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