Proof-Labeling Schemes: Broadcast, Unicast and in Between.- Self-Stabilizing Rendezvous of Synchronous Mobile Agents in Graphs.-...