September 2025 Archives by author

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

Starting: Mon Sep 1 15:21:48 CEST 2025
Ending: Sun Sep 21 17:45:05 CEST 2025
Messages: 6

• [Proof Complexity] MIAO seminar Tue Sep 16 at 14:00 CET with Dmitry Sokolov: Searching for falsified clause in random log n-CNFs is hard for randomized communication   Jakob Nordström
• [Proof Complexity] Zoom links for proof logging workshop WHOOPS '25 this weekend September 13-14   Jakob Nordström
• [Proof Complexity] MIAO seminar Mon Oct 6 at 14:00 CE(S)T with Bruno Pasqualotto Cavalar: Monotone circuit complexity of matching   Jakob Nordström
• [Proof Complexity] Upcoming talk: Valentine Kabanets (Simon Fraser University)   Igor Carboni Oliveira
• [Proof Complexity] Upcoming talk: Mikito Nanashima (Institute of Science Tokyo)   Igor Carboni Oliveira
• [Proof Complexity] Assistant/Associate Professor positions, University of Birmingham, deadline 30 September 2025   Anupam das

Last message date: Sun Sep 21 17:45:05 CEST 2025
Archived on: Sun Sep 21 17:45:54 CEST 2025

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