Email Gateway (Mar 08 2025 at 21:52): Email Gateway (Mar 08 2025 at 21:52):From: Osman Hasan <cl-isabelle-users@lists.cam.ac.uk>
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
Last updated: Mar 09 2025 at 12:28 UTC