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: Wed Jun 11 21:01:35 CEST 2025
Messages: 2

• [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

Last message date: Wed Jun 11 21:01:35 CEST 2025
Archived on: Wed Jun 11 21:01:42 CEST 2025

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