Formal Methods Aided Network Operation
2nd Workshop on Formal Methods Aided Network Operation
In conjunction with
ACM Special Interest Group on Data Communication 2025
September 8-11, 2025
São Francisco Convent
Coimbra, Portugal
There has been a growing interest from networking researchers, equipment vendors, and Internet service providers to apply formal methods in network operation to improve the availability, reliability, and performance of networks. Starting from the pioneering work on data plane verification (i.e., Anteater, HSA and Veriflow), researchers have invented many novel approaches to utilize formal methods in a wide range of aspects of network operation, including but not limited to routing configuration verification, diagnosis and synthesis, verification and testing of programmable networks, DNS configuration and implementation verification, and congestion control and scheduling verification. Many of these innovations have been published in top-tier venues such as SIGCOMM, NSDI, SOSP, and OSDI. The percentage of papers on network formal methods in SIGCOMM and NSDI for the past ten years shows a steady interest in network formal methods in our community (e.g., up to 16.4% in SIGCOMM 2021 and up to 16.9% in NSDI 2020).
More workshops at ACM Special Interest Group on Data Communication 2025
- eBPF and Kernel Extensions — eBPF (extended Berkeley Packet Filter) is an innovative technology that has been gaining popularity in...
- Emerging Multimedia Systems — Multimedia has played a significant role in driving Internet usage and has led to a...
- LEO Networking and Communication — Low Earth Orbit (LEO) satellite communication and networking is a rapidly growing field with great...
- Networks for AI Computing — Generative AI is transforming many aspects of modern society with content ranging from text and...
- Next-Generation Network Observability — In the rapidly evolving landscape of computing, sophisticated network infrastructure forms the backbone of modern...
- Open Research Infrastructures and Toolkits for 6G — The transition from 5G to 6G requires a fundamental shift towards AI-driven, programmable, and federated...
- Quantum Networks and Distributed Quantum Computing — Quantum networks enable the transmission of quantum bits (qubits) to establish non-classical correlations between connected...
Hotels near São Francisco Convent
Hostel Se Velha
Rua da Couraça da Estrela 12, 3000-432 Coimbra
Hotel Astoria Coimbra
Avenida Emídio Navarro 21, 3000-150 Coimbra
Hotel Mondego Coimbra
Largo das Ameias 10, 3000-024 Coimbra
Hotel Oslo Coimbra
Avenida Fernão de Magalhães 25, 3000-175 Coimbra
NH Coimbra Dona Inês
Rua Abel Dias Urbano 12, 3000-001 Coimbra
Quinta das Lágrimas
Rua António Augusto Gonçalves, Coimbra 3041-901
Sapientia Boutique Hotel
Largo Augusto Hilário 9, 3000-062 Coimbra
Sapientia Hotel & Hostel (Serenata)
Largo da Portagem 67, 3000-337 Coimbra
Serenata Hostel Coimbra
Largo da Sé Velha 21/23, 3000-383 Coimbra
Stay Hotel Coimbra Centro
Avenida Fernão de Magalhães 199, 3000-177 Coimbra
Tivoli Coimbra Hotel
Rua João Machado 4/5, 3000-226 Coimbra