Dagstuhl Seminar Proceedings: Circuits, Logic, and Games 2006

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