Pedro Montealegre gave an online talk on a proof labeling scheme certifying that the graph has tree-width at most k and satisfies a monadic second-order property with certificates of small size at each vertex at the Virtual Discrete Math Colloquium

On January 19, 2023, Pedro Montealegre from Universidad Adolfo Ibáñez gave an online talk at the Virtual Discrete Math Colloquium on a proof labeling scheme certifying that a graph has tree-width at most k and satisfies a monadic second-order property with a certificate of small size at each vertex. The title of his talk was “A Meta-Theorem for Distributed Certification“.