Dagstuhl Reports, Volume 7, Issue 12,

• Dagstuhl Reports, Volume 7, Issue 12, December 2017, Complete Issue 10.4230/DagRep.7.12
• Dagstuhl Reports, Table of Contents, Volume 7, Issue 12, 2017 10.4230/DagRep.7.12.i
• Theodore Alexandrov, Sebastian Böcker, Pieter Dorrestein, and Emma Schymanski Computational Metabolomics: Identification, Interpretation, Imaging (Dagstuhl Seminar 17491) 10.4230/DagRep.7.12.1
• João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne Multi-Level Modelling (Dagstuhl Seminar 17492) 10.4230/DagRep.7.12.18
• Junjie Chen, Alastair F. Donaldson, Andreas Zeller, and Hongyu Zhang Testing and Verification of Compilers (Dagstuhl Seminar 17502) 10.4230/DagRep.7.12.50