Dagstuhl Seminar Proceedings. 10252 - Game Semantics and Program Verification
Doi
Abstract
The seminar took place from 20th until 25th June 2010.
Its primary aim was to foster interaction between researchers
working on modelling programs/proofs using games and
the verification community. The meeting brought together
28 researchers from eight different countries,
both junior and senior, for a systematic assessment of what
the two areas have to offer to one another,
critical evaluation of what has been achieved so far,
with a view to establishing common research goals for the future