August 2025 Archives by subject

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

Starting: Mon Aug 4 09:55:30 CEST 2025
Ending: Thu Aug 21 10:19:36 CEST 2025
Messages: 6

• [Proof Complexity] Call for participation in proof logging workshop WHOOPS ‘25 in Paris September 13-14   Jakob Nordström
• [Proof Complexity] New preprint   Azza Gaysin
• [Proof Complexity] New preprint   Chris Pollett
• [Proof Complexity] PhD position at Lund University (deadline August 31, 2025)   Susanna Rezende
• [Proof Complexity] Upcoming talk: Bruno Cavalar (Oxford)   Igor Carboni Oliveira
• [Proof Complexity] Workshop Algorithms & Complexity @ University of Warwick (September 22-23)   Igor Carboni Oliveira

Last message date: Thu Aug 21 10:19:36 CEST 2025
Archived on: Thu Aug 21 10:19:42 CEST 2025

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