Dagstuhl Seminar Proceedings, Volume 7441,

• Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, and Moshe Y. Vardi 07441 Abstracts Collection – Algorithmic-Logical Theory of Infinite Structures 10.4230/DagSemProc.07441.1
• Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, and Moshe Y. Vardi 07441 Summary – Algorithmic-Logical Theory of Infinite Structures 10.4230/DagSemProc.07441.2
• Markus Lohrey Application of verification techniques to inverse monoids 10.4230/DagSemProc.07441.3
• Dietrich Kuske Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic 10.4230/DagSemProc.07441.4
• Stefan Göller, Markus Lohrey, and Carsten Lutz PDL with Intersection and Converse is 2EXP-complete 10.4230/DagSemProc.07441.5
• Thierry Cachat Tree Automata Make Ordinal Theory Easy 10.4230/DagSemProc.07441.6