October 2024 Archives by thread

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

Starting: Tue Oct 15 12:41:59 CEST 2024
Ending: Thu Oct 24 12:48:51 CEST 2024
Messages: 2

• [Proof Complexity] CiE 2025, 14-18 July 2025, Lisbon (Portugal) - First Call for Papers   Arnold Beckmann
• [Proof Complexity] new preprint   Dmitry Itsykson

Last message date: Thu Oct 24 12:48:51 CEST 2024
Archived on: Thu Oct 24 12:49:08 CEST 2024

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