21 Nov. 2022, 14:01-16:30 MIAO Talk by Kilian Risse Bounded depth proof for Tseitin formulas on the grid; revisited