Foster selected to give talk at STOC '17

Kudos to Nate Foster, who has been selected to give a plenary talk on NetKAT at STOC ’17 Theory Fest. The 49th ACM Symposium on Theory of Computing (STOC 2017) is sponsored by the ACM Special Interest Group on Algorithms and Computation Theory and will be part of a 5-day Theory Fest with an expanded program of STOC papers, poster sessions, and a broad cross-section of invited talks, workshops and tutorials.