June 2022 Archives by thread

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

Starting: Tue Jun 7 09:00:55 CEST 2022
Ending: Fri Jun 24 11:20:43 CEST 2022
Messages: 5

• [Proof Complexity] Pudlak workshop   thapen
• [Proof Complexity] PhD positions in theoretical computer science at Lund University   Susanna Rezende
• [Proof Complexity] postdoc position in Institute of Mathematics CAS   Pavel Pudlak
• [Proof Complexity] postdoc position   krajicek at karlin.mff.cuni.cz
• [Proof Complexity] preprint   Emil Jerabek

Last message date: Fri Jun 24 11:20:43 CEST 2022
Archived on: Fri Jun 24 11:20:53 CEST 2022

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