posted by user: sadegh_rk || 724 views || tracked by 1 users: [display]

DAV 2023 : Deep Learning-aided Verification


When Jul 16, 2023 - Jul 16, 2023
Where Paris, France
Submission Deadline May 3, 2023
Notification Due May 17, 2023
Final Version Due May 24, 2023
Categories    deep learning   formal methods   logics

Call For Papers

Scope and Topics of Interest

Deep learning has become state-of-the-art for many human-like tasks, such as computer vision or translation. The persistent perception remains that deep neural networks cannot be applied in computer-aided verification tasks due to the complex symbolic reasoning involved. Recently, this perception has started to shift: massive leaps in architecural design enabled the successful application of deep neural networks to various formal reasoning and automatic verification tasks (Examples include SAT and QBF solving, higher-order theorem proving, LTL satisfiability and synthesis, symbolic differentiation, auto formalization, and termination analysis). The workshop on Deep Learning-aided Verification (DAV) aims to cover this unexplored research area in all its facets.

We cover the recent highlights and upcoming ideas in the intersection between computer-aided verification and deep learning research. The workshop provides a platform to bring together industry and academic researchers from both communities, attract and motivate young talent, and raise awareness of new technologies

Computer-aided verification research will benefit from developing hybrid algorithms that combine the best of both worlds (efficiency and correctness), and machine learning researchers will gain novel application domains to study architectures and a model's generalization and reasoning capabilities.

Topics of interest include, but are not limited to:

- deep learning heuristics for performance gains in automated verification domains, such as model checking, synthesis, theorem proving, or SAT/SMT solving
- deep learning guidance for software and hardware synthesis
- accessibility and explainability of verification and synthesis tools
- auto formalization of mathematics, logics, and formal specifications from informal natural language
- deep learning for end-to-end solving of verification tasks
- application of deep learning to runtime verification.

The workshop focuses on how to use deep learning in verification, not to verify neural networks.

People interested in contributing to this workshop are invited to contribute short talks.

DAV'23 welcomes the following submissions:

Extended Abstracts (up to 3 pages, excluding references and clearly marked appendices).

All submissions should be in the two-column sub-format of the ACM proceedings format. The review process is single-blind. Submissions will be judged on how interesting they are to the intersection of the deep learning and formal methods communities. Overlap with previously published work should be indicated, but does not disqualify a submission if the presentation can be expected to be of enough interest. Printouts of the extended abstracts will be handed out at the workshop.

Submissions will be accepted via open review. We start accepting submissions at the beginning of April.

Related Resources

ECCV 2024   European Conference on Computer Vision
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
EAIH 2024   Explainable AI for Health
IITUPC 2024   Immunotherapy and Information Technology: Unleashing the Power of Convergence
SIGML 2024   5th International Conference on Signal Processing and Machine Learning
CAV 2024   36th International Conference on Computer Aided Verification
AdNLP 2024   5th International conference on Advanced Natural Language Processing
EAICI 2024   Explainable AI for Cancer Imaging
NLPAI 2024   2nd International Conference on NLP & AI
AI Safety 2024   Special Issue for the Journal Frontiers in Robotics and AI on AI Safety: Safety Critical Systems