Dagstuhl Reports, Volume 6, Issue 10,

• Dagstuhl Reports, Volume 6, Issue 10, September 2016, Complete Issue 10.4230/DagRep.6.10
• Dagstuhl Reports, Table of Contents, Volume 6, Issue 10, 2016 10.4230/DagRep.6.10.i
• Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, and Shriram Krishnamurthi Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402) 10.4230/DagRep.6.10.1
• Valentine Kabanets, Thomas Thierauf, Jacobo Tóran, and Christopher Umans Algebraic Methods in Computational Complexity (Dagstuhl Seminar 16411) 10.4230/DagRep.6.10.13
• Holger H. Hoos, Frank Neumann, and Heike Trautmann Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412) 10.4230/DagRep.6.10.33
• Gilles Dowek, Catherine Dubois, Brigitte Pientka, and Florian Rabe Universality of Proofs (Dagstuhl Seminar 16421) 10.4230/DagRep.6.10.75
• Philip Bille, Markus Lohrey, Sebastian Maneth, and Gonzalo Navarro Computation over Compressed Structured Data (Dagstuhl Seminar 16431) 10.4230/DagRep.6.10.99
• Tulika Mitra, Jürgen Teich, and Lothar Thiele Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441) 10.4230/DagRep.6.10.120
• Roger K. Moore, Serge Thill, and Ricard Marxer Vocal Interactivity in-and-between Humans, Animals and Robots (VIHAR) (Dagstuhl Seminar 16442) 10.4230/DagRep.6.10.154