STOC 2020 - Session 1B: Proof Complexity and Applications of Logics