Nate Foster gave an invited talk with the intriguing title "The Next 700 Network Programming Languages" at LOLA 2016, the Workshop on Syntax and Semantics of Low-Level Languages. He presented NetKAT, a language for programming networks based on Kleene Algebra with Tests.

Foster also gave four lectures on "Network Programming" at the 2016 Oregon Programming Languages Summer School, providing a comprehensive introduction to how how ideas from programming languages and formal methods can be used to solve practical problems in networking.

LOLA abstract: http://lola.cse.buffalo.edu/abstracts/LOLA2016-foster.pdf
Video for OPLSS presentations: https://www.cs.uoregon.edu/research/summerschool/summer16/curriculum.php