3 Nov. 2026, 14:01-15:00 MIAO/BARC talk by Noah Fleming Tuesday, November 3, 2026, 14:00-15:00, Noah Fleming, Associate Senior Lecturer at Lund University, Sweden, will be giving a MIAO/BARC talk on "Separations in the Random Oracle Model from Proof Complexity".
