December 2022 Archives by subject

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

Starting: Thu Dec 1 19:44:16 CET 2022
Ending: Fri Dec 23 20:33:48 CET 2022
Messages: 7

• [Proof Complexity] Assistant/Associate Professor positions, University of Birmingham, deadline 8 January 2023   a.das at bham.ac.uk
• [Proof Complexity] MIAO seminar Mon Jan 9 at 14:00 CET with Margarita Paz Castro: Cut generation procedures via decision diagrams   Jakob Nordström
• [Proof Complexity] Paper for comments: "An Isomorphism Between Hard and Impossible Tasks"   proofcomplexity at huntermonroe.com
• [Proof Complexity] PhD positions in TCS and/or combinatorial optimization in Copenhagen   Jakob Nordström
• [Proof Complexity] Postdoc positions in TCS in Copenhagen   Jakob Nordström
• [Proof Complexity] Prague seminar on Monday - Jan Pich   thapen
• [Proof Complexity] The preprint of new paper   Азза Гайсин

Last message date: Fri Dec 23 20:33:48 CET 2022
Archived on: Fri Dec 23 20:33:55 CET 2022

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