Program

Monday, October 17

  • 15:00-20:00 Check-in & Reception (Via Frangipane, 4)

  • 19:00-21:00 Welcome Buffet (“Center Canteen” - Via Frangipane, 2)


Tuesday, October 18

  • 07:30-08:45 Breakfast (“Center Canteen”)

  • 08:45-09:00 Registration (“Fresco Room” - La Rocca, Via Frangipane, 6)

  • 09:00-09:20 Welcome

  • 09:20-10:30 Scientific program: Type-Safe Data Plane Programming by Matthias Eichholz (30min), Correct-by-Construction Network Programming for Stateful Data-Planes by Jedidiah McClurg (30min)

  • 10:30-11:00 Coffee

  • 11:00-13:00 Scientific program: Using UPPAAL Stratego for Adaptive Control of Traffic by Kim G. Larsen (45min), Scalable, Reliable and Repeatable Mesh Network Simulation by Peter G. Jensen (30min), Time Sensitive Networking - A dive into IEEE802.1Q-2018 by Damien Saucez (30min)

  • 13:00-14:00 Lunch (“Center Canteen”)

  • 14:30-17:00 Scientific program: Automatic Verification of MPLS Networks by Jiri Srba (45min), R-MPLS: Recursive Protection for Highly Dependable MPLS Networks by Morten K. Schou (30min), AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences by Kim G. Larsen (30min)

  • 17:00-17:30 Coffee

  • 17:20-18:45 Scientific program: remaining talks plus discussion, maybe walk and talk

  • 19:15-19:30 Walk to Bertinoro restaurant

  • 19:30-21:00 Dinner in Bertinoro downtown.


Wednesday, October 19

  • 08:00-09:00 Breakfast (“Center Canteen”)

  • 09:30-10:45 Scientific program: Network Performance Verification by Costin Raiciu (30min online)

  • 10:45-11:15 Coffee

  • 11:15-13:00 Industrial Pitch: Stop Guessing - Start Knowing: An Overview on BENOCS Analytics and its Measurement Infrastructure by Ingmar Poese (30 min plus exended discussion). Temporal Logics for the Specification of Hyperproperties by Martin Zimmermann (30min).

  • 13:00-14:00 Lunch (“Center Canteen”)

  • 14:30-16:00 Talk in smaller groups, let's meet next to the conference room.

  • 16:00-17:00 Pitch by Nate Foster.

  • 17:00-17:30 Coffee

  • 18:00-19:00 Pitch by Ratul Mahajan.

  • 19:15-19:30 Walk to Bertinoro restaurant

  • 19:30-21:30 Dinner in Bertinoro downtown.


Thursday, October 20

  • 08:00-09:00 Breakfast (“Center Canteen”)

  • 09:30-11:00 Talks: DyNetKAT: An Algebra of Dynamic Networks by Georgiana Caltais and Matching Ingress Flows to Egress Flows on BENOCS' Data Set by Noah Witte-Winnett

  • 11:00-11:30 Coffee

  • 11:30-12:00 Optimizing Packet Classification by Pavel Chuprikov

  • 12:00-12:10 Closing of the seminar

  • 12:30-13:30 Lunch (“Center Canteen”)

  • 13:30-15:00 Departure