January 2023 Archives by author

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

Starting: Fri Jan 6 14:54:18 CET 2023
Ending: Mon Jan 30 00:12:28 CET 2023
Messages: 5

• [Proof Complexity] a new preprint   Jan Krajicek
• [Proof Complexity] REMINDER: MIAO seminar Mon Jan 9 at 14:00 CET with Margarita Paz Castro: Cut generation procedures via decision diagrams   Jakob Nordström
• [Proof Complexity] MIAO seminar Mon Feb 6 at 10:00 (note the time!) with Siddhartha Jain: The bridge between proof complexity and TFNP   Jakob Nordström
• [Proof Complexity] PhD positions in theoretical computer science at Lund University   Susanna Rezende
• [Proof Complexity] JAF 42 meeting   thapen

Last message date: Mon Jan 30 00:12:28 CET 2023
Archived on: Mon Jan 30 00:12:52 CET 2023

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