The seminar took place from 20th until 25th June 2010.#R##N#Its primary aim was to foster interaction between researchers#R##N#working on modelling programs/proofs using games and#R##N#the verification community. The meeting brought together #R##N#28 researchers from eight different countries,#R##N#both junior and senior, for a systematic assessment of what #R##N#the two areas have to offer to one another,#R##N#critical evaluation of what has been achieved so far, #R##N#with a view to establishing common research goals for the future.
['Paul-Andre Mellies', 'Andrzej S. Murawski', 'Andrea Schalk', 'Igor Walukiewicz']
10252 Executive Summary -- Game Semantics and Program Verification