16 Sept. 2025, 14:01-16:00 MIAO/BARC talk by Dmitry Sokolov Tuesday, September 16, 2025, Dmitry Sokolov, Scientist at EPFL, Switzerland, will give a talk on "Searching for falsified clause in random log n-CNFs is hard for randomized communication".