Dagstuhl Seminar Proceedings, Volume 10271,

• Bernd Becker, Luca Cardelli, Holger Hermanns, and Sofiene Tahar 10271 Abstracts Collection – Verification over discrete-continuous boundaries 10.4230/DagSemProc.10271.1
• Erika Abraham, Florian Corzilius, Ulrich Loup, and Thomas Sturm A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra 10.4230/DagSemProc.10271.2
• Michael Brickenstein and Alexander Dreyer Network-driven Boolean Normal Forms 10.4230/DagSemProc.10271.3
• Florian Schupfer and Christoph Grimm Towards more Dependable Verification of Mixed-Signal Systems 10.4230/DagSemProc.10271.4