NetVAS'22

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 (schmiste@gmail.com) and Jiri Srba (srba@cs.aau.dk).