May 2024 Archives by author

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

Starting: Fri May 3 10:34:24 CEST 2024
Ending: Fri May 31 18:01:59 CEST 2024
Messages: 10

• [Proof Complexity] my draft   Jan Krajicek
• [Proof Complexity] MIAO seminar Thu May 16 at 14:30 CEST with Noah Fleming: PPP is not Turing-closed in the black-box setting   Jakob Nordström
• [Proof Complexity] MIAO seminar Tue May 21 at 10:00 CEST with Markus Anders: Efficient algorithms for symmetry detection   Jakob Nordström
• [Proof Complexity] PhD positions in TCS and/or combinatorial optimization in Copenhagen   Jakob Nordström
• [Proof Complexity] Networking week and "Workshop on Highlights in Organizing and Optimizing Proof-logging Systems" May 20-24 in Copenhagen   Jakob Nordström
• [Proof Complexity] MIAO seminar Mon Jun 10 at 14:00 CE(S)T with Or Meir: Toward better depth lower bounds: A KRW-like theorem for strong composition   Jakob Nordström
• [Proof Complexity] Proof Complexity 2024   Jan Pich
• [Proof Complexity] Proof Complexity 2024   Jan Pich
• [Proof Complexity] Final CfA: Proof Society School and Workshop [PS24] (extended deadline). 9-13 September, Birmingham, UK   Anupam das
• [Proof Complexity] Short-term postdoc position in Prague   thapen

Last message date: Fri May 31 18:01:59 CEST 2024
Archived on: Fri May 31 18:05:38 CEST 2024

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