January 2026 Archives by thread

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

Starting: Wed Jan 7 01:14:58 CET 2026
Ending: Wed Jan 21 11:27:02 CET 2026
Messages: 3

• [Proof Complexity] MIAO seminar today Wed Jan 7 and proof complexity lectures Thu Jan 8 and Fri Jan 9   Jakob Nordström
• [Proof Complexity] A new preprint   Martin Maxa
• [Proof Complexity] MIAO seminar Thu Jan 22 at 13:00 CET with Deniz Imrek: Separations above TFNP from Sherali-Adams lower bounds   Jakob Nordström

Last message date: Wed Jan 21 11:27:02 CET 2026
Archived on: Wed Jan 21 11:27:48 CET 2026

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