Introduction to local certification


Laurent Feuilloley, LIRIS, Université Lyon 1. 26 septembre 2024 10:00 TLR limd
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).