October 2026 Archives by thread

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

Starting: Fri Oct 9 12:37:31 CEST 2026
Ending: Wed Oct 14 08:27:52 CEST 2026
Messages: 2

• [Proof Complexity] BARC/MIAO seminar Tue Oct 13 at 14:00 CEST with Ramprasad Saptharishi: Reed-Solomon codes at capacity: a transparent proof of some recent breakthroughs   Jakob Nordström
• [Proof Complexity] New preprint   Müller, Moritz

Last message date: Wed Oct 14 08:27:52 CEST 2026
Archived on: Wed Oct 14 08:28:28 CEST 2026

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