Dagstuhl Reports, Volume 9, Issue 2,

• Dagstuhl Reports, Volume 9, Issue 2, February 2019, Complete Issue 10.4230/DagRep.9.2
• Dagstuhl Reports, Table of Contents, Volume 9, Issue 2, 2019 10.4230/DagRep.9.2.i
• Mikko Kivelä, Fintan McGee, Guy Melançon, Nathalie Henry Riche, and Tatiana von Landesberger Visual Analytics of Multilayer Networks Across Disciplines (Dagstuhl Seminar 19061) 10.4230/DagRep.9.2.1
• Sébastien Bardin, Nikolaj Bjørner, and Cristian Cadar Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062) 10.4230/DagRep.9.2.27
• Jyotirmoy V. Deshmukh, Oded Maler, and Dejan Nickovic Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071) 10.4230/DagRep.9.2.48
• Anthony Hunter, Gabriele Kern-Isberner, Thomas Meyer, and Renata Wassermann The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072) 10.4230/DagRep.9.2.73
• Rachid Alami, Kerstin I. Eder, Guy Hoffman, and Hadas Kress-Gazit Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081) 10.4230/DagRep.9.2.91
• Claudia Clopath, Ruben De Winne, Mohammad Emtiyaz Khan, and Tom Schaul AI for the Social Good (Dagstuhl Seminar 19082) 10.4230/DagRep.9.2.111
• Seok-Hee Hong, Michael Kaufmann, János Pach, and Csaba D. Tóth Beyond-Planar Graphs: Combinatorics, Models and Algorithms (Dagstuhl Seminar 19092) 10.4230/DagRep.9.2.123