October 2025 Archives by subject

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

Starting: Sun Oct 5 21:03:44 CEST 2025
Ending: Tue Oct 14 16:40:16 CEST 2025
Messages: 6

• [Proof Complexity] MIAO seminar Mon Oct 13 at 10:00 CE(S)T (note the time!) with Marc Vinyals: Lifting with colourful sunflowers   Jakob Nordström
• [Proof Complexity] MIAO seminar Mon Oct 20 at 14:00 CE(S)T with Sreejata Kishor Bhattacharya and Arkadev Chattopadhyay: Exponential lower bounds on the size of ResLin proofs of nearly quadratic depth   Jakob Nordström
• [Proof Complexity] أفضل 10 مواقع للبحث عن عمل في المغرب (2025)   jib l3azz
• [Proof Complexity] انضم لحساب Canva Pro مجانًا الآن   jib l3azz
• [Proof Complexity] شهادة الأبوة في المغرب   jib l3azz
• [Proof Complexity] شهادة الأبوة في المغرب   jib l3azz

Last message date: Tue Oct 14 16:40:16 CEST 2025
Archived on: Tue Oct 14 16:41:00 CEST 2025

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