November 2025 Archives by subject

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

Starting: Sat Nov 8 18:02:51 CET 2025
Ending: Fri Nov 28 23:07:17 CET 2025
Messages: 6

• [Proof Complexity] Course advertisement "Proof Complexity as a Computational Lens"   Jakob Nordström
• [Proof Complexity] MIAO seminar Wed Nov 19 at 11:00 CET with Alexandros Hollender: Fisher markets with approximately optimal bundles and the need for a PCP theorem for PPAD   Jakob Nordström
• [Proof Complexity] PhD Studentship at the University of Bath   Raheleh Jalali
• [Proof Complexity] Postdoc and PhD openings in combinatorial optimization and/or TCS in Lund (deadline Jan 16)   Jakob Nordström
• [Proof Complexity] Upcoming talk: Ted Pyne (MIT)   Igor Carboni Oliveira
• [Proof Complexity] Videos from proof logging workshop WHOOPS '25 now available!   Jakob Nordström

Last message date: Fri Nov 28 23:07:17 CET 2025
Archived on: Fri Nov 28 23:07:45 CET 2025

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