Dagstuhl Seminar Proceedings, Volume 10351,

• Amal Ahmed, Nick Benton, Lars Birkedal, and Martin Hofmann 10351 Abstracts Collection – Modelling, Controlling and Reasoning About State 10.4230/DagSemProc.10351.1
• Amal Ahmed, Nick Benton, Lars Birkedal, and Martin Hofmann 10351 Executive Summary – Modelling, Controlling and Reasoning About State 10.4230/DagSemProc.10351.2
• Robert Dockins and Aquinas Hobor A Theory of Termination via Indirection 10.4230/DagSemProc.10351.3
• Vasileios Koutavas, Paul Blain Levy, and Eijiro Sumii Limitations of Applicative Bisimulation (Preliminary Report) 10.4230/DagSemProc.10351.4
• Nikos Tzevelekos Program Equivalence with Names 10.4230/DagSemProc.10351.5
• Andrew M. Pitts Step-Indexed Biorthogonality: a Tutorial Example 10.4230/DagSemProc.10351.6
• Nick Benton and Chung-Kil Hur Step-Indexing: The Good, the Bad and the Ugly 10.4230/DagSemProc.10351.7