Dagstuhl Reports, Volume 8, Issue 2,

• Dagstuhl Reports, Volume 8, Issue 2, February 2018, Complete Issue 10.4230/DagRep.8.2
• Dagstuhl Reports, Table of Contents, Volume 8, Issue 2, 2018 10.4230/DagRep.8.2.i
• Andreas Stefik, Bonita Sharif, Brad. A. Myers, and Stefan Hanenberg Evidence About Programmers for Programming Language Design (Dagstuhl Seminar 18061) 10.4230/DagRep.8.2.1
• J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, and Willem-Jan Van Hoeve Planning and Operations Research (Dagstuhl Seminar 18071) 10.4230/DagRep.8.2.26
• Pierre Bonami, Ambros M. Gleixner, Jeff Linderoth, and Ruth Misener Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081) 10.4230/DagRep.8.2.64
• Yaakov Benenson, Neil Dalchau, Heinz Koeppl, and Oded Maler Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082) 10.4230/DagRep.8.2.88
• Annette Bieniusa, Alexey Gotsman, Bettina Kemme, and Marc Shapiro Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091) 10.4230/DagRep.8.2.101
• Rolf Ernst, Stefan Kuntz, Sophie Quinton, and Martin Simons The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092) 10.4230/DagRep.8.2.122