March 2023 Archives by subject

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

Starting: Fri Mar 17 22:16:00 CET 2023
Ending: Mon Mar 27 13:10:03 CEST 2023
Messages: 6

• [Proof Complexity] (no subject)   Müller, Moritz
• [Proof Complexity] a new paper   Jan Krajicek
• [Proof Complexity] new preprint   Emil Jerabek
• [Proof Complexity] Postdoctoral Researcher in SAT-Solving - University of Bergen   Mateus de Oliveira Oliveira
• [Proof Complexity] Simons: Proof Complexity and Meta-Mathematics Workshop next week   Iddo Tzameret
• [Proof Complexity] Summer School on Computational Complexity (Oléron Island, France)   Joanna Ochremiak

Last message date: Mon Mar 27 13:10:03 CEST 2023
Archived on: Mon Mar 27 13:10:12 CEST 2023

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