Dagstuhl Seminar Proceedings, Volume 10252,

• Paul-Andre Mellies, Andrzej S. Murawski, Andrea Schalk, and Igor Walukiewicz 10252 Abstracts Collection – Game Semantics and Program Verification 10.4230/DagSemProc.10252.1
• Paul-Andre Mellies, Andrzej S. Murawski, Andrea Schalk, and Igor Walukiewicz 10252 Executive Summary – Game Semantics and Program Verification 10.4230/DagSemProc.10252.2