Dagstuhl Seminar Proceedings, Volume 9441,

• Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, and Andrei Krokhin 09441 Abstracts Collection – The Constraint Satisfaction Problem: Complexity and Approximability 10.4230/DagSemProc.09441.1
• Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, and Andrei Krokhin 09441 Executive Summary – The Constraint Satisfaction Problem: Complexity and Approximability 10.4230/DagSemProc.09441.2
• Matt Valeriote, Simone Bova, and Hubie Chen On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas 10.4230/DagSemProc.09441.3
• Ross Willard PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE 10.4230/DagSemProc.09441.4
• Barnaby Martin and Jos Martin The complexity of positive first-order logic without equality II: The four-element case 10.4230/DagSemProc.09441.5