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. |
Summary |
LiVe 2022 : 6th Workshop on Learning in Verification will take place in Munich. It’s a 1 day event starting on Apr 3, 2022 (Sunday) and will be winded up on Apr 3, 2022 (Sunday). LiVe 2022 falls under the following areas: FORMAL METHODS, VERIFICATION, MACHINE LEARNING, NEURAL NETWORKS, etc. Submissions for this Workshop can be made by Feb 1, 2022. Authors can expect the result of submission by Mar 1, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Mar 10, 2022 to the official website of the Workshop. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the LiVe 2022
|
Credits and Sources |
[1] LiVe 2022 : 6th Workshop on Learning in Verification |