24th TACAS 2018: Thessaloniki, Greece (Part of ETAPS 2018)

Theorem Proving

SAT and SMT I

Deductive Verification

Software Verification and Optimisation

Model Checking

Machine Learning

maintained by Schloss Dagstuhl LZI at University of Trier