Linda Cook gave a talk on the local certification protocol for monadic second-order property on graphs of bounded tree-width at the Discrete Math Seminar

On July 22, 2025, Linda Cook from the University of Amsterdam gave a talk at the Discrete Math Seminar on the local certification protocol for monadic second-order property on graphs of bounded tree-width. The title of her talk was “A tight algorithmic meta-theorem for distributed certification within bounded treewidth graphs“.