LiVe 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
Conference Editions
Sat 6 - Thu 11 April 2019, Prague, Czech Republic

LiVe 2019 with ETAPS 2019

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 fr ...