October 2025 Archives by thread

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

Starting: Sun Oct 5 21:03:44 CEST 2025
Ending: Tue Oct 28 14:22:48 CET 2025
Messages: 8

• [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] شهادة الأبوة في المغرب   jib l3azz
• [Proof Complexity] شهادة الأبوة في المغرب   jib l3azz
• [Proof Complexity] انضم لحساب Canva Pro مجانًا الآن   jib l3azz
• [Proof Complexity] أفضل 10 مواقع للبحث عن عمل في المغرب (2025)   jib l3azz
• [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] Upcoming talk: Davi Castro-Silva (University of Cambridge)   Igor Carboni Oliveira
• [Proof Complexity] MIAO seminar Thu Oct 30 at 13:15 CET (note the time!): Proof complexity as a computational lens   Jakob Nordström

Last message date: Tue Oct 28 14:22:48 CET 2025
Archived on: Tue Oct 28 14:23:28 CET 2025

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