[P4-announce] CALL FOR PARTICIPATION FoFoSDN 2021

2 views
Skip to first unread message

Hossein Hojjat

unread,
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:
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
Forward
0 new messages