December 2025 Archives by subject

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

Starting: Tue Dec 2 10:42:34 CET 2025
Ending: Tue Dec 9 22:48:49 CET 2025
Messages: 2

• [Proof Complexity] MIAO seminar Thu Dec 11 at 10:15 CET with Siddharth Iyer: XOR lemmas and lifting in communication complexity   Jakob Nordström
• [Proof Complexity] Upcoming talk: Jiatu Li (MIT)   Igor Carboni Oliveira

Last message date: Tue Dec 9 22:48:49 CET 2025
Archived on: Tue Dec 9 22:49:22 CET 2025

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