Dagstuhl Reports, Volume 4, Issue 10,

• Dagstuhl Reports, Volume 4, Issue 10, October 2014, Complete Issue 10.4230/DagRep.4.10
• Dagstuhl Reports, Table of Contents, Volume 4, Issue 10, 2014 10.4230/DagRep.4.10.i
• Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, and Michele Sebag Constraints, Optimization and Data (Dagstuhl Seminar 14411) 10.4230/DagRep.4.10.1
• Betty H. C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, and Bernhard Rumpe Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412) 10.4230/DagRep.4.10.32
• Olaf Beyersdorff, Edward A. Hirsch, Jan Krajicek, and Rahul Santhanam Optimal algorithms and proofs (Dagstuhl Seminar 14421) 10.4230/DagRep.4.10.51
• Alessandro Abate, Martin Fränzle, Ian Hiskens, and Martin Strelec Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441) 10.4230/DagRep.4.10.69
• Christian Cadar, Vijay Ganesh, Raimondas Sasnauskas, and Koushik Sen Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442) 10.4230/DagRep.4.10.98