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 16 16:10:38 CEST 2025
Messages: 5

• [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

Last message date: Wed Apr 16 16:10:38 CEST 2025
Archived on: Wed Apr 16 16:11:36 CEST 2025

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