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