[P4-announce] CALL FOR PARTICIPATION FoFoSDN 2021
4 views
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
Description
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:
Description
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 Alur, University of Pennsylvania: “Network Traffic Classification by Program Synthesis”
Katerina Argyraki, Swiss Federal Institute of Technology Lausanne: “Network-function verification without verification expertise”
Ryan Beckett, Microsoft: “Engineering Network Verification at Scale in Azure”
Vyas Sekar, Carnegie Mellon University: “Checking Dynamic Policies in Stateful Networks”
Alexandra Silva, Cornell University: “Prognosis: Closed-Box Analysis of Network Protocol Implementations”
Qiao Xiang, Xiamen University: “Scaling Network Verification to Large Networks: Progress and Opportunities”
Qiao Xiang, Xiamen University: “Scaling Network Verification to Large Networks: Progress and Opportunities”
Organised by
Georgiana Caltais, Hossein Hojjat, Mohammad Mousavi
Georgiana Caltais, Hossein Hojjat, Mohammad Mousavi
Reply all
Reply to author
Forward
0 new messages