September 2024 Archives by date

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

Starting: Thu Sep 5 09:28:46 CEST 2024
Ending: Fri Sep 13 14:56:54 CEST 2024
Messages: 2

• [Proof Complexity] STACS 2025-- cfp   Olaf Beyersdorff
• [Proof Complexity] MIAO seminar Tue Sep 17 at 14:00 CE(S)T with Morgan Shirley: Large corner-free sets in high dimensions   Jakob Nordström

Last message date: Fri Sep 13 14:56:54 CEST 2024
Archived on: Fri Sep 13 15:00:53 CEST 2024

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