Network Verification and Automation Seminar
October 17-20, 2022
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 (email@example.com) and Jiri Srba (firstname.lastname@example.org).