Dagstuhl Reports, Volume 6, Issue 12,

• Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue 10.4230/DagRep.6.12
• Dagstuhl Reports, Table of Contents, Volume 6, Issue 12, 2016 10.4230/DagRep.6.12.i
• Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, and Nacim Ramdani Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491) 10.4230/DagRep.6.12.1