May 2021 Archives by subject

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

Starting: Tue May 4 17:02:59 CEST 2021
Ending: Fri May 28 17:43:14 CEST 2021
Messages: 6

• [Proof Complexity] New preprint   Theodoros Papamakarios
• [Proof Complexity] QBF 2021: Call for papers   HUBERT MING CHEN
• [Proof Complexity] Seminar Fri May 28 at 14:00 CEST with Tuomas Hakoniemi: Feasible interpolation for algebraic proof systems   Jakob Nordström
• [Proof Complexity] Seminar Mon Jun 7 at 14:00 CEST with Joanna Ochremiak: Proof complexity meets finite model theory   Jakob Nordström
• [Proof Complexity] Seminar Mon May 17 at 14:00 CET with Kilian Risse: Average-case perfect matching lower bounds from hardness of Tseitin formulas   Jakob Nordström
• [Proof Complexity] Tenure-track assistant professorship in algorithms and complexity theory in Lund   Jakob Nordström

Last message date: Fri May 28 17:43:14 CEST 2021
Archived on: Fri May 28 17:43:22 CEST 2021

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