February 2025 Archives by thread

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

Starting: Wed Feb 5 17:07:44 CET 2025
Ending: Wed Feb 19 11:25:10 CET 2025
Messages: 3

• [Proof Complexity] [pahrubes at gmail.com: Re: postdoc]   Emil Jerabek
• [Proof Complexity] MIAO seminar Tue Mar 4 at 14:00 CET with Duri Andrea Janett: Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and Weisfeiler–Leman   Jakob Nordström
• [Proof Complexity] PhD and postdoc positions at Lund University (deadlines March 16, 2025 and March 31, 2025)   Susanna Rezende

Last message date: Wed Feb 19 11:25:10 CET 2025
Archived on: Wed Feb 19 11:25:15 CET 2025

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