LiVe 2019: 3rd Workshop on Learning in Verification


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 1st edition was held as a satellite event of ETAPS 2017 on April 29, 2017, in Uppsala, Sweden. It featured 12 presentations and an invited talk by Kim G. Larsen (Aalborg University), who has an ongoing ERC Advanced Grant LASSO (Learning, analysis, synthesis and optimization of cyber-physical systems). The 2nd edition was held as a satellite event of ETAPS 2018 on April 20, 2018, in Thessaloniki, Greece. Apart from regular presentations, it featured two invited talks by Guy Katz (Stanford / Hebrew University) and Krishnamurthy Dvijotham (Google DeepMind) on verifying neural networks. The 3rd edition is held as a satellite event of ETAPS 2019 on April 6, 2019, in Prague, Czech Republic.


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:

PC chairs

Preliminary programme

Invited talks:

In case of any questions, please contact the organizer Jan Kretinsky at <name>.<surname>

Looking forward to seeing you LiVe in Prague!