May 2025 Archives by date

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

Starting: Fri May 2 22:35:05 CEST 2025
Ending: Thu May 22 15:38:04 CEST 2025
Messages: 6

• [Proof Complexity] STOC Workshop on Constructive Complexity: Call for Short Talks and Posters   Stefan Grosser
• [Proof Complexity] 2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)   ESSLLI Publicity
• [Proof Complexity] Proof Complexity 2025   Jan Pich
• [Proof Complexity] MIAO seminar Mon May 26 at 10:00 CET with Matthew McIlree: Certifying the output of constraint programming solvers using proof logging   Jakob Nordström
• [Proof Complexity] 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)   Jakob Nordström
• [Proof Complexity] 2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '25)   Jakob Nordström

Last message date: Thu May 22 15:38:04 CEST 2025
Archived on: Thu May 22 15:38:55 CEST 2025

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