An overview of local certification

19^th January 2023, 16:00
Laurent Feuilloley
CNRS, LIRIS, University of Lyon, France

Abstract

Local certification is a notion of the theory of distributed computing that originates from the study of self-stabilization. Basically, it consists in a labeling of the nodes of a network that allows the nodes to locally verify a global property. In this talk I will introduce the notion, describe its origins, basic properties, and give a quick overview on the current research on this topic.