Dagstuhl Reports, Volume 2, Issue 11,

• Dagstuhl Reports, Volume 2, Issue 11, November 2012, Complete Issue 10.4230/DagRep.2.11
• Dagstuhl Reports, Table of Contents, Volume 2, Issue 11, 2012 10.4230/DagRep.2.11.i
• Johan Hastad, Andrei Krokhin, and Dániel Marx The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 12451) 10.4230/DagRep.2.11.1
• Kurt Mehlhorn, Moshe Y. Vardi, and Marc Herbstritt Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452) 10.4230/DagRep.2.11.20
• Nikolaj Bjorner, Krishnendu Chatterjee, Laura Kovacs, and Rupak M. Majumdar Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) 10.4230/DagRep.2.11.45
• Francois Boulier, Anne J. Shiu, Thomas Strum, and Andreas Weber Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462) 10.4230/DagRep.2.11.66
• Nadia Creignou, Nicola Galesi, Oliver Kullmann, and Heribert Vollmer SAT Interactions (Dagstuhl Seminar 12471) 10.4230/DagRep.2.11.87
• Erik Elmroth, Michael Factor, Ethan Miller, and Margo Seltzer Is the Future of Preservation Cloudy? (Dagstuhl Seminar 12472) 10.4230/DagRep.2.11.102
• Boris Köpf, Paquale Malacaria, and Catuscia Palamidessi Quantitative Security Analysis (Dagstuhl Seminar 12481) 10.4230/DagRep.2.11.135
• Mike Bond, Riccardo Focardi, Sibylle Fröschle, and Graham Steel Analysis of Security APIs (Dagstuhl Seminar 12482) 10.4230/DagRep.2.11.155