Skip to first unread message

Hossein Hojjat

Oct 27, 2021, 5:23:41 PM10/27/21
to p4-an...@lists.p4.org
Call for Participation


Formal Foundations of Software Defined Networks (FoFoSDN)
Web: https://fofosdn2021.github.io
9 November 2021, 17:00h UTC+1

There are several contemporary examples of network failures, particularly in the domain of SDNs, that led to substantial loss for businesses. Formal methods are promised to address performance, reliability, and security issues of SDNs using the rigour provided by their underlying mathematics. The focus of this workshop is on formal methods aimed to enable the formal specification and verification of SDNs and NFVs. We aim at bringing together leading researchers and practitioners from the fields of formal methods, networking, programming languages, and security, to investigate the task of developing formal foundations for networks.

This year, FoFoSDN is held in conjunction with the VII IEEE Conference on Network Function Virtualization and Software Defined Networks.

Visit the FoFoSDN’21 official webpage for more information or to register.

We are happy to host the following talks, offered by renowned researchers in the field:
Rajeev AlurUniversity of Pennsylvania: “Network Traffic Classification by Program Synthesis”
Katerina ArgyrakiSwiss Federal Institute of Technology Lausanne: “Network-function verification without verification expertise”
Ryan BeckettMicrosoft: “Engineering Network Verification at Scale in Azure”
Vyas SekarCarnegie Mellon University: “Checking Dynamic Policies in Stateful Networks”
Alexandra SilvaCornell University:  “Prognosis: Closed-Box Analysis of Network Protocol Implementations”
Qiao XiangXiamen University: “Scaling Network Verification to Large Networks: Progress and Opportunities” 

Organised by
Georgiana Caltais, Hossein Hojjat, Mohammad Mousavi

Reply all
Reply to author
0 new messages