April 2026 Archives by author

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

Starting: Tue Apr 7 16:38:59 CEST 2026
Ending: Wed Apr 29 09:41:30 CEST 2026
Messages: 8

• [Proof Complexity] FLoC workshop on proof complexity - Call for Presentations   Olaf Beyersdorff
• [Proof Complexity] Proof Complexity Workshop   Raheleh Jalali
• [Proof Complexity] new preprint   Müller, Moritz
• [Proof Complexity] Call for contributions: 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '26)   Jakob Nordström
• [Proof Complexity] MIAO seminar Tue Apr 21 at 14:00 CEST with Paul Beame: Extending CDCL to disjunctions of parity equations   Jakob Nordström
• [Proof Complexity] Algorithms and Complexity Workshop @ Warwick, July 3, 2026   Igor Carboni Oliveira
• [Proof Complexity] PhD position at Lund University (deadline April 15, 2026)   Susanna Rezende
• [Proof Complexity] ESSLLI 2026 - First Call for Participation   Dusan Varis

Last message date: Wed Apr 29 09:41:30 CEST 2026
Archived on: Wed Apr 29 09:41:45 CEST 2026

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