October 2023 Archives by thread

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

Starting: Mon Oct 2 14:40:33 CEST 2023
Ending: Mon Oct 23 23:34:16 CEST 2023
Messages: 5

• [Proof Complexity] Full Professor at Graz University of Technology (Austria)   Johannes Wallner
• [Proof Complexity] Expression of interest for a postdoc position in Logic, Combinatorics and Complexity at Sapienza University in Rome.   Massimo Lauria
• [Proof Complexity] DCOSS-IoT 2024 (Abu Dhabi, April 29 to May 1) - Second Call for Papers   Leivadeas, Aris
• [Proof Complexity] MIAO seminar Thu Oct 19 14:00 with Bruno Pasqualotto Cavalar: Constant-depth circuits vs. monotone circuits   Jakob Nordström
• [Proof Complexity] MIAO seminar Wed Oct 25 at 14:00 with Yogesh Dahiya: Randomness gives little advantage for decision tree size   Jakob Nordström

Last message date: Mon Oct 23 23:34:16 CEST 2023
Archived on: Mon Oct 23 23:34:25 CEST 2023

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