May 2026 Archives by thread

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

Starting: Mon May 4 15:36:37 CEST 2026
Ending: Sat May 30 10:18:14 CEST 2026
Messages: 9

• [Proof Complexity] Workshop on Proof Complexity at FLoC in Lisbon -- 2nd call for presentations   Olaf Beyersdorff
• [Proof Complexity] MIAO seminar Mon Jun 1 at 14:00 CEST with Alexander Nadel: SAT solving and beyond: A fresh intro and recent developments   Jakob Nordström
• [Proof Complexity] PC26   Raheleh Jalali
• [Proof Complexity] PhD defence by Andy Oertel Fri May 29 at 13:30 CEST   Jakob Nordström
• [Proof Complexity] Workshop "Frontiers in Complexity Lower Bounds" @ Isaac Newton Institute (Cambridge, UK), 7-11 September 2026   Igor Carboni Oliveira
• [Proof Complexity] Proof Society 2026: 2nd Call for Abstracts (7-11 September, Aussois, FRANCE)   Alexis Saurin
• [Proof Complexity] MIAO seminar Thu May 28 at 15:15 CEST with Randal E. Bryant: Checkable proofs for model counting and knowledge compilation   Jakob Nordström
• [Proof Complexity] Imperial Research Fellowships (IRF) 2026 – Theory of Computing   Iddo Tzameret
• [Proof Complexity] Proof Society 2026: Deadline extension for contributions   Alexis Saurin

Last message date: Sat May 30 10:18:14 CEST 2026
Archived on: Sat May 30 10:19:12 CEST 2026

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