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

LiVe 2022 : 6th Workshop on Learning in Verification

FacebookTwitterLinkedInGoogle

Link: https://www7.in.tum.de/~kretinsk/LiVe2022.html
 
When Apr 3, 2022 - Apr 3, 2022
Where Munich
Submission Deadline Feb 1, 2022
Notification Due Mar 1, 2022
Final Version Due Mar 10, 2022
Categories    formal methods   verification   machine learning   neural networks
 

Call For Papers

Topic
The success of machine learning has recently motivated researchers in formal methods to adapt the highly scalable learning methods to the verification setting, where correctness guarantees on the result are essential. The aim of this workshop is to bring together researchers from the formal verification community that are developing approaches to exploit learning methods in verification as well as researchers from machine learning area interested in applications in verification and synthesis. The general topic of machine learning in verification includes, for instance,

- the use of learning techniques (e.g. reinforcement learning) for speeding up
verification (e.g. rigorous analysis of complex systems combining non-determinism,
stochasticity, timing etc.),
- the use of machine learning data structures and algorithms (e.g. decision trees)
for enhancing results of verification (e.g. generating simple invariants of
programs generating small controllers of systems),
- verification of machine-learning artefacts (e.g. verification of neural networks)
- meta-usage of machine learning (e.g. to predict the best tools to be applied to a
verification problem).

Invited talk will be delivered by

Armando Tacchella

Submissions
Since the aim of the workshop is to stimulate discussion on the potential of learning techniques in verification and to report on recent advancements, we invite presentations of possibly already published as well as ongoing work. The submissions should be abstracts of such work, limited to at most two pages in the llncs style, and will only be published in the informal pre-proceedings for the convenience of the participants. There will be no formal publication or post-proceedings. The submission are to be done over Easychair.

Related Resources

IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
ICSTTE 2025   2025 3rd International Conference on SmartRail, Traffic and Transportation Engineering (ICSTTE 2025)
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
21st AIAI 2025   21st (AIAI) Artificial Intelligence Applications and Innovations
IEEE-Ei/Scopus-CWCBD 2025   2025 6th International Conference on Wireless Communications and Big Data (CWCBD 2025) -EI Compendex
25th EANN/EAAAI 2025   25th (EANN/EAAAI) Engineering Applications and Advances of of Artificial Intelligence
CSITEC 2025   11th International Conference on Computer Science, Information Technology
CAV 2025   37th International Conference on Computer Aided Verification
CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)