Dagstuhl Seminar Proceedings, Volume 10161,

• Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, and Andrei Voronkov 10161 Abstracts Collection – Decision Procedures in Software, Hardware and Bioware 10.4230/DagSemProc.10161.1
• Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, and Andrei Voronkov 10161 Executive Summary – Decision Procedures in Software, Hardware and Bioware 10.4230/DagSemProc.10161.2
• Grant Olney Passmore, Leonardo de Moura, and Paul B. Jackson Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops 10.4230/DagSemProc.10161.3
• Juergen Christ and Jochen Hoenicke Instantiation-Based Interpolation for Quantified Formulae 10.4230/DagSemProc.10161.4