Dagstuhl Seminar Proceedings, Volume 6451,

• Thomas Schwentick, Denis Thérien, and Heribert Vollmer 06451 Abstracts Collection – Circuits, Logic, and Games 10.4230/DagSemProc.06451.1
• Thomas Schwentick, Denis Thérien, and Heribert Vollmer 06451 Executive Summary – Circuits, Logic, and Games 10.4230/DagSemProc.06451.2
• Uwe Schöning and Jacobo Torán A note on the size of Craig Interpolants 10.4230/DagSemProc.06451.3
• Arnaud Durand, Clemens Lautemann, and Malika More Counting Results in Weak Formalisms 10.4230/DagSemProc.06451.4
• William Hesse Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures 10.4230/DagSemProc.06451.5
• Philipp Weis and Neil Immerman Structure Theorem and Strict Alternation Hierarchy for FO² on Words 10.4230/DagSemProc.06451.6