Noise-robust contextuality for Kochen-Specker type scenarios: two complementary frameworks

I will present two complementary hypergraph frameworks that accomplish the project of accommodating Kochen-Specker (KS) type scenarios within the generalized approach to contextuality a la Spekkens. One of these frameworks generalizes the graph-theoretic framework of Cabello, Severini, and Winter for statistical proofs of KS-contextuality and the other one outlines how one can obtain noise-robust noncontextuality inequalities based on logical proofs KS contextuality. Time permitting, I will speculate on possible applications of these frameworks.