Dagstuhl Seminar Proceedings, Volume 8171,

• Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, and Victor Vianu 08171 Abstracts Collection – Beyond the Finite: New Challenges in Verification and Semistructured Data 10.4230/DagSemProc.08171.1
• Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, and Victor Vianu 08171 Summary – Beyond the Finite: New Challenges in Verification and Semistructured Data 10.4230/DagSemProc.08171.2
• Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ran Ji, and Ahmed Rezine Shape Analysis via Monotonic Abstraction 10.4230/DagSemProc.08171.3