July 2026 Archives by thread

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

Starting: Mon Jul 6 22:41:51 CEST 2026
Ending: Wed Jul 29 17:04:39 CEST 2026
Messages: 4

• [Proof Complexity] Proof Society 2026: Call for Participation and registration (7-11 September, Aussois, FRANCE)   Alexis Saurin
• [Proof Complexity] Call for participation: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)   Jakob Nordström
• [Proof Complexity] FLoC workshop on proof complexity - Call for Participation   Olaf Beyersdorff
• [Proof Complexity] Last days to register to Proof Society 2026 (7-11 September)   Alexis Saurin

Last message date: Wed Jul 29 17:04:39 CEST 2026
Archived on: Wed Jul 29 17:05:54 CEST 2026

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