Dagstuhl Reports, Volume 4, Issue 8,

• Dagstuhl Reports, Volume 4, Issue 8, August 2014, Complete Issue 10.4230/DagRep.4.8
• Dagstuhl Reports, Table of Contents, Volume 4, Issue 8, 2014 10.4230/DagRep.4.8.i
• Michael Benedikt, Carsten Lutz, and Balder Ten Cate Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331) 10.4230/DagRep.4.8.1
• Thomas Agotnes and Nils Bulling Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332) 10.4230/DagRep.4.8.21
• Yll Haxhimusa, Iris van Rooij, Sashank Varma, and Todd Wareham Resource-bounded Problem Solving (Dagstuhl Seminar 14341) 10.4230/DagRep.4.8.45
• Nimrod Megiddo, Kurt Mehlhorn, Rahul Savani, and Vijay V. Vazirani Equilibrium Computation (Dagstuhl Seminar 14342) 10.4230/DagRep.4.8.73
• Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351) 10.4230/DagRep.4.8.89
• Patrick Cousot, Daniel Kroening, and Carsten Sinz Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352) 10.4230/DagRep.4.8.107
• Marc Alexa, Bernd Bickel, Sara McMains, and Holly E. Rushmeier Computational Aspects of Fabrication (Dagstuhl Seminar 14361) 10.4230/DagRep.4.8.126
• Mark Billinghurst, Nigel Davies, Marc Langheinrich, and Albrecht Schmidt Augmenting Human Memory - Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362) 10.4230/DagRep.4.8.151