p4-announce@lists.p4.org

Announcements for P4.org

View all threads

CALL FOR PARTICIPATION FoFoSDN 2021

HH
Hossein Hojjat
Wed, Oct 27, 2021 9:23 PM

--------------------------------------------------------------------------------------
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
https://nfvsdn2021.ieee-nfvsdn.org.

Visit the FoFoSDN’21 official webpage https://fofosdn2021.github.io 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”

Organised by
Georgiana Caltais, Hossein Hojjat, Mohammad Mousavi

*--------------------------------------------------------------------------------------* *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 <https://nfvsdn2021.ieee-nfvsdn.org>. Visit the FoFoSDN’21 official webpage <https://fofosdn2021.github.io> 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” *Organised by* Georgiana Caltais, Hossein Hojjat, Mohammad Mousavi