June 2024 Archives by subject

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

Starting: Thu Jun 13 12:24:46 CEST 2024
Ending: Mon Jun 24 08:15:24 CEST 2024
Messages: 4

• [Proof Complexity] CfPart: Proof Society School and Workshop [PS24]. Registration deadline: 2 August. 9-13 September, Birmingham, UK.   Anupam das
• [Proof Complexity] CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   Anupam das
• [Proof Complexity] new preprint   Mykyta Narusevych
• [Proof Complexity] new preprint   Mykyta Narusevych

Last message date: Mon Jun 24 08:15:24 CEST 2024
Archived on: Mon Jun 24 08:15:31 CEST 2024

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