May 2025 Archives by thread

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

Starting: Fri May 2 22:35:05 CEST 2025
Ending: Tue May 27 22:40:21 CEST 2025
Messages: 9

• [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
• [Proof Complexity] Mon Jun 9 at 16:00 (note the time!) with Michael Whitmeyer: Communication complexity of collision-finding and bit pigeonhole principle   Jakob Nordström
• [Proof Complexity] Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025   Giovanni Solda
• [Proof Complexity] JAF 44 in Prague - extension for contributed talks   thapen

Last message date: Tue May 27 22:40:21 CEST 2025
Archived on: Tue May 27 22:40:23 CEST 2025

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