Tue 9 Jan 2018 14:30 - 15:00 at Hershey - Afternoon Session 1

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

13:30 - 15:30
Afternoon Session 1NetPL at Hershey
14:00
30m
Other
Working Groups Debrief
NetPL

14:30
30m
Talk
Safety Verification of Stateful Networks
NetPL
Sharon Shoham Tel Aviv university
15:00
30m
Talk
Understand and verify your network using Header Space Analysis
NetPL
Peyman Kazemian Forward Networks