Workshop on Learning in Verification (LiVe)

At ETAPS 2017, a workshop on Learning in Verification takes place. The aim of the workshop is to stimulate discussion on the potential of learning techniques in verification and to report on recent advancements,. The program will consist of presentations of work recently accepted to top conferences and ongoing work. The submissions will thus be abstracts of such work, limited to at most two pages, 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 deadline for abstracts is: February 3, 2017.

Further details can be found at