Dagstuhl Reports, Volume 3, Issue 12,

• Dagstuhl Reports, Volume 3, Issue 12, December 2013, Complete Issue 10.4230/DagRep.3.12
• Dagstuhl Reports, Table of Contents, Volume 3, Issue 12, 2013 10.4230/DagRep.3.12.i
• Ruedi Aebersbold, Oliver Kohlbacher, and Olga Vitek Computational Mass Spectrometry (Dagstuhl Seminar 13491) 10.4230/DagRep.3.12.1
• Matt Duckham, Stefan Dulman, Jörg-Rüdiger Sack, and Monika Sester Geosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492) 10.4230/DagRep.3.12.17
• Sumit Gulwani, Emanuel Kitzelmann, and Ute Schmid Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502) 10.4230/DagRep.3.12.43
• Rogerio de Lemos, David Garlan, Carlo Ghezzi, and Holger Giese Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511) 10.4230/DagRep.3.12.67
• Glenn Geers, Monika Sester, Stephan Winter, and Ouri E. Wolfson Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512) 10.4230/DagRep.3.12.97