April 2025 Archives by thread

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

Starting: Mon Apr 7 10:54:08 CEST 2025
Ending: Wed Apr 30 22:34:22 CEST 2025
Messages: 8

• [Proof Complexity] New preprint   thapen
• [Proof Complexity] MIAO/BARC seminar Thu Apr 22 at 14:00 CET with Ian Mertz: Catalytic computing: A primer   Jakob Nordström
  • [Proof Complexity] CORRECTION: MIAO/BARC seminar Tue Apr 22 at 14:00 CET with Ian Mertz: Catalytic computing: A primer   Jakob Nordström
• [Proof Complexity] MIAO seminar Fri Apr 25 at 10:00 CET with Leroy Chew: Quantified Boolean formulas, proof and strategy extraction   Jakob Nordström
• [Proof Complexity] MIAO seminar Thu Apr 24 at 14:00 CET with Noah Fleming: Proofs and search problems   Jakob Nordström
• [Proof Complexity] MIAO seminars this week   Jakob Nordström
• [Proof Complexity] MIAO seminar Tue May 20 at 14:00 CET with Kilian Risse: Supercritical tradeoffs for monotone circuits   Jakob Nordström
• [Proof Complexity] MIAO seminar Mon May 19 at 14:00 CET with Artur Riazanov: The generalised Linial–Nisan conjecture is false for DNFs   Jakob Nordström

Last message date: Wed Apr 30 22:34:22 CEST 2025
Archived on: Wed Apr 30 22:41:30 CEST 2025

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