April 2023 Archives by date

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

Starting: Sat Apr 1 05:40:49 CEST 2023
Ending: Thu Apr 27 07:30:40 CEST 2023
Messages: 5

• [Proof Complexity] Prague postdoc position - extended deadline   thapen
• [Proof Complexity] Workshop "Satisfiability: Theory, Practice, and Beyond" April 17-21   Jakob Nordström
• [Proof Complexity] Workshop - Wrestling with Complexity and 5-Worlds Conundrum   Samuel Buss
• [Proof Complexity] Proof Complexity Workshop and Summer School   Emil Jerabek
• [Proof Complexity] PhD opening in TCS and/or combinatorial optimization in Lund   Jakob Nordström

Last message date: Thu Apr 27 07:30:40 CEST 2023
Archived on: Thu Apr 27 07:30:47 CEST 2023

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