Network Verification and Automation Seminar

in Spring 2021
Due to COVID, we unfortunately had to postpone the meeting.
University Residential Center
Bertinoro (Forlì-Cesena), Italy

[INFORMATION] Due to the ongoing pandemic, the seminar has been moved to Spring 2021. More information will follow soon.

Networks have become a critical infrastructure of our digital society. The resulting stringent dependability requirements stand in stark contrast to today's manual and error-prone approach to operate networks. This workshop brings together researchers and practitioners to discuss opportunities and challenges of more automated approaches to operate networks: from automated verification and what-if analysis to synthesis.


News