September 2026 Archives by thread

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

Starting: Thu Sep 17 14:32:00 CEST 2026
Ending: Mon Sep 21 14:15:07 CEST 2026
Messages: 2

• [Proof Complexity] Bridges between proofs, communication, and computation, Cambridge, November 30 – December 4, 2026   Iddo Tzameret
• [Proof Complexity] [IEEE WoWMoM 2027]: Call for Papers   Matúš Dopiriak

Last message date: Mon Sep 21 14:15:07 CEST 2026
Archived on: Mon Sep 21 14:15:13 CEST 2026

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