Dagstuhl Seminar Proceedings, Volume 8061,

• Amal Ahmed, Nick Benton, Martin Hofmann, and Greg Morrisett 08061 Abstracts Collection – Types, Logics and Semantics for State 10.4230/DagSemProc.08061.1
• Amal Ahmed, Nick Benton, Martin Hofmann, and Greg Morrisett 08061 Executive Summary – Types, Logics and Semantics for State 10.4230/DagSemProc.08061.2
• Sophia Drossopoulou, Adrian Francalanza, P. Müller, and Alexander J. Summers A Unified Framework for Verification Techniques for Object Invariants 10.4230/DagSemProc.08061.3