October 2022 Archives by thread

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

Starting: Thu Oct 13 22:46:22 CEST 2022
Ending: Fri Oct 28 12:46:19 CEST 2022
Messages: 5

• [Proof Complexity] MIAO seminar Tue Oct 18 at 14:00 CET with Emre Yolcu: Exponential separations using guarded extension variables   Jakob Nordström
• [Proof Complexity] Prague seminar today - Emil Jerabek   thapen
  • [Proof Complexity] Prague seminar today - Emil Jerabek   thapen
• [Proof Complexity] Preprint   Raheleh Jalali
• [Proof Complexity] MIAO seminar Mon Nov 7 at 14:00 CET with Thore Husfeldt: The shortest even cycle problem is tractable   Jakob Nordström

Last message date: Fri Oct 28 12:46:19 CEST 2022
Archived on: Fri Oct 28 12:47:38 CEST 2022

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