Description automatically generated


Networks are the lifeline of modern applications. The reliability of these applications is directly correlated with the networks that support them. Preserving the availability and trustworthiness of computer networks continues to be an open challenge, which is further magnified with the scale and sophistication of modern networks. Traditionally, we used expert engineers to manage all aspects of the network. This approach is not viable for large-scale networks. On one hand, we have cloud networks that comprise several hundreds of thousands of network devices that interconnect several million servers. New advances such as programmable network devices further magnify the complexity - we now also have churn in the dataplane in addition to the control plane. On the other hand, we have enterprises migrating to the cloud and deploying virtual networks at scale. Managing both kind of networks require solving the same set of challenges:

1)     How do you specify intent?

2)     How do you translate the intent to configurations, and ensure that it is correct by construction?

3)     How do you track and remediate drift?

4)     How do you ensure that changes do not violate the intent?

Solving these challenges requires a multipronged approach. NetVerify envisions to create an interdisciplinary forum to foster interactions between researchers and practitioners from fields such as networking, security, formal methods, programming languages, and machine learning. Our objective is to stimulate discussions to both advance the science of network verification and influence adoption. The workshop will host a combination of invited and contributed talks.

Topics of Interest

We invite talk proposals on early-stage ideas, position papers, and case studies on all topics relating to verifying reliability, dependability, and trustworthiness of computer networks including, but not limited to: 

1.     Automated verification and testing of all aspects of computer networks

2.     Algorithms for verifying control plane and data plane.

3.     Managing, debugging, and diagnosing problems in networked systems

4.     Network configuration synthesis

5.     Languages for networking and security

6.     Case studies of deploying verification tools and methods.

7.     Machine learning driven failure prediction and recovery.


We welcome colleagues from the industry to talk about grand challenges and case studies from deploying network verification systems.


We follow the ICNP policies.

Workshop Organizers

Karthick Jayaraman, Microsoft Azure Networking
Hongkun Yang, Google Cloud Platform

Submission Guidelines

Please submit a talk proposal at https://easychair.org/conferences/?conf=netverify2021. Proposals should adhere to the IEEE Conference formatting requirements using the templates available here. The proposal should include a talk abstract and biography of the speakers. The maximum length of the proposal is 2 pages. The proposals will be reviewed by the workshop co-chairs.

Important Dates

Submission deadline

September 10, 2021

Notification of acceptance

September 20, 2021

Camera-ready version

October 22, 2021

Workshop Date

2 November, 2021



A picture containing text, tableware, dishware, plate

Description automatically generated



Juniper networks

Department of Computer Science, UT Dallas




Supported By