The Coq mailing list

[Osman Hasan <osman.hasan AT seecs.edu.pk>]

We are pleased to invite submissions to our upcoming collection for Discover Networks (A Springer Nature Journal) focusing on "Bridging Formal Verification and Neural Networks: Ensuring Reliable Networked Systems," which explores advancements in the formal verification of networks and the use of neural networks to optimize verification processes.

This collection aims to bring together cutting-edge research at the intersection of formal verification methods and networked systems, spanning a broad range of applications and approaches. The scope of this collection includes, but is not limited to, the formal verification of networks particularly in the context of safety-critical systems. We also seek innovative methods and techniques that leverage neural networks and machine learning to optimize and accelerate the formal verification process. Hybrid approaches that combine symbolic methods, model checking, and neural network-based strategies are of particular interest.

Scope and Topics

This collection welcomes original research and review articles in the following areas:
- Formal Verification of Networks: Computer networks, network protocols, software-defined networks (SDNs), and neural networks in safety-critical systems.
- Safety-Critical Applications: Cyber-physical systems, IoT networks, and mission-critical infrastructures requiring high assurance of correctness and security.
- Neural Network-Based Optimization for Verification: Machine learning-driven acceleration of formal verification techniques.
- Hybrid Approaches: Combining symbolic methods, model checking, and AI-based strategies for efficient verification.

Given the evolving nature of this field, we also encourage short (in-progress) papers showcasing promising preliminary results and novel directions.

Why Submit?

Engage with a growing community of experts in formal verification and networked systems.
Gain visibility in a rapidly emerging research area with high impact.
Contribute to the development of robust, safety-assured networked systems.

Important Dates

Submission Deadline: June 30, 2025
First-Round review decisions: September 15, 2025
Deadline for revision Submission: October 15,2025
Notification of final decisions: December 1, 2025

Submission Information

Manuscripts should follow the journal's formatting guidelines and be submitted through the designated online portal. For further details, please visit https://link.springer.com/collections/dcjcgjigbc

Discover Networks is an Open access journal while the Publication costs for Discover Networks will be covered by Springer Nature until 31 December 2025. Authors whose articles are accepted for publication up to and including that date will not pay an article-processing charge.

We look forward to your submissions and to advancing the field of formal verification for networks together.

Best regards,
Osman Hasan

--

Osman Hasan, Ph.D.
Professor
School of Electrical Engineering and Computer Science (SEECS)
National University of Sciences and Technology (NUST)

Sector H12, Islamabad, Pakistan
Web: ohasan.seecs.nust.edu.pk