posted by user: sadegh_rk || 4872 views || tracked by 8 users: [display]

LiVe 2020 : 4th Workshop on Learning in Verification

FacebookTwitterLinkedInGoogle

Link: https://www7.in.tum.de/~kretinsk/LiVe2020.html
 
When Apr 25, 2020 - Apr 25, 2020
Where Dublin, Ireland
Submission Deadline Feb 15, 2020
Notification Due Mar 1, 2020
Final Version Due Mar 10, 2020
Categories    formal methods   verification   machine learning
 

Call For Papers

LiVe 2020: 4th Workshop on Learning in Verification

held as a satellite event of ETAPS in Dublin, Ireland, on April 25, 2020

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), or meta-usage of machine learning (e.g. to predict the best tools to be applied to a verification problem).

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.

Important dates:

Paper submission: February 15, 2020
Notification: March 1, 2020
Final versions for informal pre-proceedings: March 10, 2020

PC chairs

Joost-Pieter Katoen, RWTH Aachen University, Germany / University of Twente, Netherlands
Jan Kretinsky, Technical University of Munich, Germany

Related Resources

Federated Learning in IOT Cybersecurity 2021   PeerJ Computer Science - Federated Learning for Cybersecurity in Internet of Things
JCRAI 2021-Ei Compendex & Scopus 2021   2021 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2021)
CFDSP 2022   2022 International Conference on Frontiers of Digital Signal Processing (CFDSP 2022)
MLDM 2022   18th International Conference on Machine Learning and Data Mining
CVPR 2022   Computer Vision and Pattern Recognition
FAIML 2022   2022 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2022)
VTS 2021   39th IEEE VLSI Test Symposium
ICADCML 2022   3rd International Conference on Advances in Distributed Computing and Machine Learning - 2022
AISTATS 2022   25th International Conference on Artificial Intelligence and Statistics
blockchain_ml_iot 2021   Network and Electronics (MDPI) Joint Special Issue - Blockchain and Machine Learning for IoT: Security and Privacy Challenges