9-9:05am: Opening remarks by co-chairs.


10:05-10:30am: Coffee break.


noon - 1:30pm: Lunch break.


2:30-3pm: Coffee break

3-4:15pm: Tool demonstrations by authors of accepted papers.

  • Analyzing protocols with iSpin. Pamela Zave (AT&T Labs Research).
  • An Implementation of Meta-routing using Coq. Timothy Griffin (Cambridge University).
  • Automating the Testing of OpenFlow Applications. Canini Marco (EPFL).
  • Model Checking AODV using UPPAAL. Peter Höfner (NICTA).
  • Generalized Graph Products for Network Design and Analysis. Hung Nguyen, University of Adalaide, Australia)

4:15-4:30pm: Break

4:30-6pm: Panel discussion on Whither formal methods in Networking?.

  • Participants: Ana Cavalli (TELECOM SudParis), Timothy Griffin (Cambridge University), Jonathan Sobel (Cisco), Pamela Zave (AT&T Labs Research).