Dagstuhl Reports, Volume 3, Issue 10,

• Dagstuhl Reports, Volume 3, Issue 10, October 2013, Complete Issue 10.4230/DagRep.3.10
• Dagstuhl Reports, Table of Contents, Volume 3, Issue 10, 2013 10.4230/DagRep.3.10.i
• Nikolaj Bjorner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach Deduction and Arithmetic (Dagstuhl Seminar 13411) 10.4230/DagRep.3.10.1
• Kay Hamacher, Jean Pierre Hubaux, and Gene Tsudik Genomic Privacy (Dagstuhl Seminar 13412) 10.4230/DagRep.3.10.25
• Glencora Borradaile, Philp Klein, Dániel Marx, and Claire Mathieu Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421) 10.4230/DagRep.3.10.36
• Mikolaj Bojanczyk, Bartek Klin, Alexander Kurz, and Andrew M. Pitts Nominal Computation Theory (Dagstuhl Seminar 13422) 10.4230/DagRep.3.10.58
• Oliver Grau, Marcus A. Magnor, Olga Sorkine-Hornung, and Christian Theobalt Real-World Visual Computing (Dagstuhl Seminar 13431) 10.4230/DagRep.3.10.72
• Maristella Agosti, Norbert Fuhr, Elaine Toms, and Pertti Vakkari Evaluation Methodologies in Information Retrieval (Dagstuhl Seminar 13441) 10.4230/DagRep.3.10.92