Introduction to local certification


Laurent Feuilloley, LIRIS, Université Lyon 1. Sept. 26, 2024, 10 a.m. TLR limd 2:00:00
Abstract:

In this talk I will introduce local certification, a notion originating from distributed computing that sheds a new light on the structure of graphs. After giving intuitions about the notion, I will review the recent developments, and make connections with other areas of theoretical computer science (including complexity and logic).