January 2026 Archives by subject

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

Starting: Wed Jan 7 01:14:58 CET 2026
Ending: Wed Jan 7 09:23:02 CET 2026
Messages: 2

• [Proof Complexity] A new preprint   Martin Maxa
• [Proof Complexity] MIAO seminar today Wed Jan 7 and proof complexity lectures Thu Jan 8 and Fri Jan 9   Jakob Nordström

Last message date: Wed Jan 7 09:23:02 CET 2026
Archived on: Wed Jan 7 09:23:12 CET 2026

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