Dagstuhl Reports, Volume 7, Issue 9,

• Dagstuhl Reports, Volume 7, Issue 9, September 2017, Complete Issue 10.4230/DagRep.7.9
• Dagstuhl Reports, Table of Contents, Volume 7, Issue 9, 2017 10.4230/DagRep.7.9.i
• Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, and Thomas Schwentick Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361) 10.4230/DagRep.7.9.1
• Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, and Cesare Tinelli Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371) 10.4230/DagRep.7.9.26
• Jeremy Blackburn, Emiliano De Cristofaro, Michael Sirivianos, and Thorsten Strufe Cybersafety in Modern Online Social Networks (Dagstuhl Reports 17372) 10.4230/DagRep.7.9.47
• Adnan Darwiche, Pierre Marquis, Dan Suciu, and Stefan Szeider Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381) 10.4230/DagRep.7.9.62
• Ute Schmid, Stephen H. Muggleton, and Rishabh Singh Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382) 10.4230/DagRep.7.9.86
• Daniel Cremers, Laura Leal-Taixé, and René Vidal Deep Learning for Computer Vision (Dagstuhl Seminar 17391) 10.4230/DagRep.7.9.109
• Steve Benford, Kristina Höök, Joseph Marshall, Florian Mueller, and Dag Svanes Body-Centric Computing (Dagstuhl Reports 17392) 10.4230/DagRep.7.9.126