December 2025 Archives by date

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

Starting: Tue Dec 2 10:42:34 CET 2025
Ending: Wed Dec 17 14:02:42 CET 2025
Messages: 3

• [Proof Complexity] Upcoming talk: Jiatu Li (MIT)   Igor Carboni Oliveira
• [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] MIAO seminar Wed Jan 7 at 14:00 with Andy Oertel: Certifying combinatorial optimization: A unified approach using pseudo-Boolean reasoning   Jakob Nordström

Last message date: Wed Dec 17 14:02:42 CET 2025
Archived on: Wed Dec 17 14:04:24 CET 2025

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