21 Nov. 2022, 14:01-16:30 MIAO Talk by Kilian Risse Bounded depth proof for Tseitin formulas on the grid; revisited
26 Oct. 2022, 14:01-15:00 BARC talk by Sampson Wong Improving the dilation of a metric graph by adding edges
18 Oct. 2022, 14:01-16:30 MIAO/BARC talk by Emre Yolcu Exponential separations using guarded extension variables
11 Oct. 2022, 14:01-15:00 BARC talk by Piotr Sankowski Improved Feature Importance Computation for Tree Models Based on the Banzhaf Value
6 Oct. 2022, 14:01-15:00 BARC talk by prof. Stephen Kobourov, University of Arizona Contact Representation of Planar Graphs in 2D and 3D
4 Oct. 2022, 14:01-16:30 MIAO/BARC talk by Robert Andrews Matrix multiplication and polynomial identity testing