June 2025 Archives by subject

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

Starting: Mon Jun 9 11:53:37 CEST 2025
Ending: Mon Jun 30 20:28:49 CEST 2025
Messages: 7

• [Proof Complexity] A Survey on Proof Complexity   Amir Tabatabai
• [Proof Complexity] Call for contributions: 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)   Jakob Nordström
• [Proof Complexity] Call for contributions: 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)   Jakob Nordström
• [Proof Complexity] Call for Participation CP/SAT/SoCS 2025 (early-bird rate until 30th June)   Jakob Nordström
• [Proof Complexity] Call for submissions: QBF '25   Hubie Chen
• [Proof Complexity] CfR: Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025   Giovanni Solda
• [Proof Complexity] Student travel support for CP and SAT 2025   Jakob Nordström

Last message date: Mon Jun 30 20:28:49 CEST 2025
Archived on: Mon Jun 30 20:28:55 CEST 2025

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