Network Verification and Automation Seminar

October 17-20, 2022

University Residential Center

Bertinoro (Forlì-Cesena), Italy

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.

Participants are invited to submit suggestions for specific topics to be included in the discussion, a few weeks before the workshop if possible.

Participation of interested researchers, including graduate students and junior researchers, is welcome. An expression of interest can be sent to Stefan Schmid ( and Jiri Srba (