September 2025 Archives by thread

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

Starting: Mon Sep 1 15:21:48 CEST 2025
Ending: Thu Sep 11 23:32:48 CEST 2025
Messages: 5

• [Proof Complexity] Assistant/Associate Professor positions, University of Birmingham, deadline 30 September 2025   Anupam das
• [Proof Complexity] Upcoming talk: Valentine Kabanets (Simon Fraser University)   Igor Carboni Oliveira
• [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] Upcoming talk: Mikito Nanashima (Institute of Science Tokyo)   Igor Carboni Oliveira
• [Proof Complexity] Zoom links for proof logging workshop WHOOPS '25 this weekend September 13-14   Jakob Nordström

Last message date: Thu Sep 11 23:32:48 CEST 2025
Archived on: Thu Sep 11 23:33:35 CEST 2025

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